Unveiling the ISCAS-85 Benchmarks: A Case Study in Reverse Engineering

Designing at higher levels of abstraction is key to managing the complexity of todayʹs VLSI chips. The authors show how they reverse-engineered the ISCAS-85 benchmarks to add a useful, new high-level tool to the designerʹs arsenal