Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti. Coverage Management with Inline Assertions and Formal Test Points. In VLSI Design 2010: 23rd International Conference on VLSI Design, 9th International Conference on Embedded Systems, Bangalore, India, 3-7 January 2010. pages 140-145, IEEE, 2010. [doi]
Abstract is missing.