Plug-in timing models for an abstract timing verifier.

David E. Wallace, Carlo H. Squin

Browse the full DAC paper archive.