Maximal Input Reduction of Sequential Netlists via Synergistic Reparameterization and Localization Strategies

Lecture Notes in Computer Science - Correct Hardware Design and Verification Methods ◽

10.1007/11560548_18 ◽

2005 ◽

pp. 222-237 ◽

Author(s):

Jason Baumgartner ◽

Hari Mony

Download Full-text