Design for Verification at the Register Transfer Level.

Indradeep Ghosh, Krishna Sekar, Vamsi Boppana

Browse the full VLSID paper archive.