A parallel combinational equivalence checking (CEC) solver.

Compilation

chmod a+x build.sh
./build.sh

Usage

./ParaHCEC $instance $threads $block_size

Parameters

• $instance: Input miter circuit file (AIG format)
• $threads: Logarithm of thread count, actual thread count is 2^threads
  • Example: setting to 3 will run 8 threads
• $block_size: Algorithm parameter in EPS engine, generally recommended to set to 12

Usage Examples

# Using 8 threads with block_size 12
./ParaHCEC circuit.aig 3 12