Automatic structural abstraction techniques for enhanced verification

• Main Author: Baumgartner, Jason Raymond
• Format: Others
• Language: English
• Published: 2011
• Subjects: Integrated circuits > Verification; Computer-aided design
• Online Access: http://hdl.handle.net/2152/11263

Not available === text