Formal Verification Coverage: Are the RTL-Properties Covering the Design's Architectural Intent?

• Authors:

• Prasenjit Basu;Sayantan Das;Pallab Dasgupta;P. P. Chakrabarti;Chunduri Rama Mohan;Limor Fix

• Affiliations:

• -;-;-;-;-;-

• Venue:
• Proceedings of the conference on Design, automation and test in Europe - Volume 1
• Year:
• 2004