MSTC: A Method for Identifying Overconstraints during Hierarchical Compaction

Cyrus Bamji, Ravi Varadarajan. MSTC: A Method for Identifying Overconstraints during Hierarchical Compaction. In DAC. pages 389-394, 1993. [doi]

Abstract

Abstract is missing.