E-Syn

Note

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

Prerequisite

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

Usage

For alpha version

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

For beta version (much faster!)

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

Benchamrk Description

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://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