An efficient design-for-verification technique for HDLs.

Chien-Nan Jimmy Liu, I-Ling Chen, Jing-Yang Jou

Browse the full ASPDAC paper archive.