Structured design verification: Function and timing.

C. J. Rimkus, Michael R. Wayne, D. D. Cheng, F. J. Magistro

Browse the full DAC paper archive.