Exact Benchmark Circuits for Logic Synthesis

The benchmarking of hardware and its comparison to a golden model is an interesting approach for developers and scientists to align their own results to optimal solutions. The article describes an approach and solution to use exact circuits to evaluate own developments, which is crucial in many application domains. Benchmarks are highly important for the scientific community to evaluate their research.