Logic synthesis and optimization benchmarks. Version 3.0 (1991)

by S Yang