Indradeep Ghosh, Krishna Sekar, Vamsi Boppana. Design for Verification at the Register Transfer Level. In Proceedings of the ASPDAC 2002 / VLSI Design 2002, CD-ROM, 7-11 January 2002, Bangalore, India. pages 420-425, IEEE Computer Society, 2002. [doi]
Abstract is missing.