Challenges in using system-level models for RTL verification.

Kelvin Ng

Browse the full DAC paper archive.