Design for Verification at the Register Transfer Level

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]

Authors

Indradeep Ghosh

This author has not been identified. Look up 'Indradeep Ghosh' in Google

Krishna Sekar

This author has not been identified. Look up 'Krishna Sekar' in Google

Vamsi Boppana

This author has not been identified. Look up 'Vamsi Boppana' in Google