The following publications are possibly variants of this publication:
- Coverage Management with Inline Assertions and Formal Test PointsAritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti. vlsid 2010: 140-145 [doi]
- Accelerating Assertion Coverage With Adaptive TestbenchesBhaskar Pal, Ansuman Banerjee, Arnab Sinha, Pallab Dasgupta. tcad, 27(5):967-972, 2008. [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]
- 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]