logic synthesis and optimization benchmarks for the 1986 design automation conference
In order to compare logic synthesis and optimization systems, a set of benchmarks has been submitted to a number of authors. The results obtained are reported in the present proceedings. This short paper introduces the benchmarks as well as a set of criteria to measure the quality of logic synthesis systems.
logic synthesis optimality benchmark design automation order systems author paper measurement quality