The following publications are possibly variants of this publication:
- 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. date 2004: 668-669 [doi]
- Cohesive Coverage Management for Simulation and Formal Property VerificationAritra Hazra, Ansuman Banerjee, Srobona Mitra, Pallab Dasgupta, Partha Pratim Chakrabarti, Chunduri Rama Mohan. isvlsi 2008: 251-256 [doi]
- Property Refinement Techniques for Enhancing Coverage of Formal Property VerificationPrasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan. vlsid 2004: 109-114 [doi]
- Formal verification coverage: computing the coverage gap between temporal specificationsSayantan Das, Prasenjit Basu, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni. iccad 2004: 198-203 [doi]