Automatic verification of implementations of large circuits against HDL specifications

✍ Scribed by Hoskote, Y.V.; Abraham, J.A.; Fussell, D.S.; Moondanos, J.

• Book ID: 119778136
• Publisher: IEEE
• Year: 1997
• Tongue: English
• Weight: 322 KB
• Volume: 16
• Category: Article
• ISSN: 0278-0070
• DOI: 10.1109/43.594828