Verifying clock schedules.

Thomas G. Szymanski, Narendra V. Shenoy

Browse the full ICCAD paper archive.