Boolean-Function-Equivalent-Benchmark

About The Project

This benchmark is currently only implemented check if output file can let boolean function equivalent.

Output file format followed ICCAD 2023 problem A.

Usage

Check output can let function equivalent

make
./main outputTest.txt cir1.v cir2.v

The first parameter is output file path. The second and the third parameter respectively are input file verilog path.