Aritra Hazra, Ansuman Banerjee, Srobona Mitra, Pallab Dasgupta, Partha Pratim Chakrabarti, Chunduri Rama Mohan. Cohesive Coverage Management for Simulation and Formal Property Verification. In IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2008, 7-9 April 2008, Montpellier, France. pages 251-256, IEEE Computer Society, 2008. [doi]
Abstract is missing.