A Novel Approach to Accurate Timing Verification Using RTL Descriptions.

Kaushik Roy, Jacob A. Abraham

Browse the full DAC paper archive.