Prasenjit Basu Sayantan Das Ansuman Banerjee Pallab Dasgupta P. P. Chakrabarti Chunduri Rama Mohan Limor Fix Roy Armoni Design-Intent Coverage - A New Paradigm for Formal Property Verification. 1922-1934 2006 25 IEEE Trans. on CAD of Integrated Circuits and Systems 10 http://doi.ieeecomputersociety.org/10.1109/TCAD.2005.859490 db/journals/tcad/tcad25.html#BasuDBDCMFA06