Design-Intent Coverage—A New Paradigm for Formal Property Verification

✍ Scribed by Basu, P.; Das, S.; Banerjee, A.; Dasgupta, P.; Chakrabarti, P.P.; Mohan, C.R.; Fix, L.; Armoni, R.

• Book ID: 118698494
• Publisher: IEEE
• Year: 2006
• Tongue: English
• Weight: 262 KB
• Volume: 25
• Category: Article
• ISSN: 0278-0070
• DOI: 10.1109/tcad.2005.859490