├── README └── benchmark_multipliers ├── README ├── bp-ar-rc-128-opt-dc2.aig ├── bp-ar-rc-128.aig ├── bp-ar-rc-64-opt-dc2.aig ├── bp-ar-rc-64.aig ├── bp-wt-cl-64-opt-dc2.aig ├── bp-wt-cl-64.aig ├── btor128-resyn3.aig ├── btor128.aig ├── btor64.aig ├── log ├── mult-abc-128-resyn3.aig ├── mult-abc-128.aig ├── mult-abc-256.aig ├── mult-abc-64.aig ├── mult-abc-Booth-128-resyn3.aig ├── mult-abc-Booth-128.aig ├── mult-abc-Booth-256-resyn3.aig ├── mult-abc-Booth-256.aig ├── mult-abc-Booth-64-dc2.aig ├── mult-abc-Booth-64-resyn3.aig ├── mult-abc-Booth-64.aig ├── sp-ar-cl-64-opt-dc2.aig ├── sp-ar-cl-64.aig ├── sp-ar-rc-128-opt-dc2.aig ├── sp-ar-rc-128-opt-resyn3.aig ├── sp-ar-rc-128.aig ├── sp-ar-rc-64-opt-dc2.aig ├── sp-ar-rc-64.aig ├── sp-wt-cl-64-opt-dc2.aig ├── sp-wt-cl-64.aig ├── sp-wt-rc-64-opt-dc2.aig └── sp-wt-rc-64.aig /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/README -------------------------------------------------------------------------------- /benchmark_multipliers/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/README -------------------------------------------------------------------------------- /benchmark_multipliers/bp-ar-rc-128-opt-dc2.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/bp-ar-rc-128-opt-dc2.aig -------------------------------------------------------------------------------- /benchmark_multipliers/bp-ar-rc-128.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/bp-ar-rc-128.aig -------------------------------------------------------------------------------- /benchmark_multipliers/bp-ar-rc-64-opt-dc2.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/bp-ar-rc-64-opt-dc2.aig -------------------------------------------------------------------------------- /benchmark_multipliers/bp-ar-rc-64.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/bp-ar-rc-64.aig -------------------------------------------------------------------------------- /benchmark_multipliers/bp-wt-cl-64-opt-dc2.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/bp-wt-cl-64-opt-dc2.aig -------------------------------------------------------------------------------- /benchmark_multipliers/bp-wt-cl-64.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/bp-wt-cl-64.aig -------------------------------------------------------------------------------- /benchmark_multipliers/btor128-resyn3.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/btor128-resyn3.aig -------------------------------------------------------------------------------- /benchmark_multipliers/btor128.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/btor128.aig -------------------------------------------------------------------------------- /benchmark_multipliers/btor64.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/btor64.aig -------------------------------------------------------------------------------- /benchmark_multipliers/log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/log -------------------------------------------------------------------------------- /benchmark_multipliers/mult-abc-128-resyn3.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/mult-abc-128-resyn3.aig -------------------------------------------------------------------------------- /benchmark_multipliers/mult-abc-128.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/mult-abc-128.aig -------------------------------------------------------------------------------- /benchmark_multipliers/mult-abc-256.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/mult-abc-256.aig -------------------------------------------------------------------------------- /benchmark_multipliers/mult-abc-64.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/mult-abc-64.aig -------------------------------------------------------------------------------- /benchmark_multipliers/mult-abc-Booth-128-resyn3.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/mult-abc-Booth-128-resyn3.aig -------------------------------------------------------------------------------- /benchmark_multipliers/mult-abc-Booth-128.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/mult-abc-Booth-128.aig -------------------------------------------------------------------------------- /benchmark_multipliers/mult-abc-Booth-256-resyn3.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/mult-abc-Booth-256-resyn3.aig -------------------------------------------------------------------------------- /benchmark_multipliers/mult-abc-Booth-256.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/mult-abc-Booth-256.aig -------------------------------------------------------------------------------- /benchmark_multipliers/mult-abc-Booth-64-dc2.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/mult-abc-Booth-64-dc2.aig -------------------------------------------------------------------------------- /benchmark_multipliers/mult-abc-Booth-64-resyn3.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/mult-abc-Booth-64-resyn3.aig -------------------------------------------------------------------------------- /benchmark_multipliers/mult-abc-Booth-64.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/mult-abc-Booth-64.aig -------------------------------------------------------------------------------- /benchmark_multipliers/sp-ar-cl-64-opt-dc2.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/sp-ar-cl-64-opt-dc2.aig -------------------------------------------------------------------------------- /benchmark_multipliers/sp-ar-cl-64.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/sp-ar-cl-64.aig -------------------------------------------------------------------------------- /benchmark_multipliers/sp-ar-rc-128-opt-dc2.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/sp-ar-rc-128-opt-dc2.aig -------------------------------------------------------------------------------- /benchmark_multipliers/sp-ar-rc-128-opt-resyn3.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/sp-ar-rc-128-opt-resyn3.aig -------------------------------------------------------------------------------- /benchmark_multipliers/sp-ar-rc-128.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/sp-ar-rc-128.aig -------------------------------------------------------------------------------- /benchmark_multipliers/sp-ar-rc-64-opt-dc2.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/sp-ar-rc-64-opt-dc2.aig -------------------------------------------------------------------------------- /benchmark_multipliers/sp-ar-rc-64.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/sp-ar-rc-64.aig -------------------------------------------------------------------------------- /benchmark_multipliers/sp-wt-cl-64-opt-dc2.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/sp-wt-cl-64-opt-dc2.aig -------------------------------------------------------------------------------- /benchmark_multipliers/sp-wt-cl-64.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/sp-wt-cl-64.aig -------------------------------------------------------------------------------- /benchmark_multipliers/sp-wt-rc-64-opt-dc2.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/sp-wt-rc-64-opt-dc2.aig -------------------------------------------------------------------------------- /benchmark_multipliers/sp-wt-rc-64.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ycunxi/ACEC_benchmarks/HEAD/benchmark_multipliers/sp-wt-rc-64.aig --------------------------------------------------------------------------------