Interface Timing Verification with Application to Synthesis.

Elizabeth A. Walkup, Gaetano Borriello

Browse the full DAC paper archive.