An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists

✍ Scribed by Jason Baumgartner; Tamir Heyman; Vigyan Singhal; Adnan Aziz

• Book ID: 111542631
• Publisher: Springer
• Year: 2003
• Tongue: English
• Weight: 210 KB
• Volume: 23
• Category: Article
• ISSN: 0925-9856
• DOI: 10.1023/a:1024485130001