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.
No takes yet. Share an insight, caveat, or question.
Hansen et al. (1999) studied this question.
Synapse has enriched 3 closely related papers on similar clinical questions. Consider them for comparative context: