For reproduce the result of DAC 2024 paper, check new branch.

1. Enter abc directory and run make
2. Install necessary dependencies in package.txt
3. Build all the rust project ( s-converter , analyzer , circuitparser , e-rewriter , infix2lisp , lisp2infix ) by enter dir and run cargo build --release

1. Convert the circuit to eqn format by using write_eqn in abc
2. Copy and paste the eqn to test_data/raw_circuit.txt
3. Run python run.py

1. Convert the circuit to eqn format by using write_eqn in abc
2. Copy and paste the eqn to test_data_beta_runner/raw_circuit.txt
3. Run python run_beta.py

1. ISCAS benchmark: https://github.com/santoshsmalagi/Benchmarks/tree/main
2. Ripple Carry Adder: Using ABC to generate the circuit ( gen command)
3. EPFL benchmark: https://github.com/lsils/benchmarks
4. IWLS 2005: http:https://iwls.org/iwls2005/benchmarks.html
5. Comperhensive digital benchmark: https://ddd.fit.cvut.cz/www/prj/Benchmarks/index.php?page=download
6. Addtional benchmark1: https://pld.ttu.ee/~maksim/benchmarks/
7. Addtional benchmark2: https://github.com/jpsety/verilog_benchmark_circuits