Key points are not available for this paper at this time.
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.
Hansen et al. (Fri,) studied this question.