Advanced techniques for RTL debugging.

Yu-Chin Hsu, Bassam Tabbara, Yirng-An Chen, Fur-Shing Tsai

Browse the full DAC paper archive.