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

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

Browse the full DATE paper archive.