Timing Verification Using HDTV

In this paper, we provide an overview of a system designed for verifying the consistency of timing specifications for digital circuits. The utility of the system comes from the need to verify that existing digital components will interact correctly when placed together in a system. The system can also be used in the case of verifying specifications of unimplemented components.

• Type: Conference
• Year: 1990
• Where: DAC
• Authors: Alan R. Martello, Steven P. Levitan, Donald M. Chiarulli
• Keywords: Computer Architecture, DAC 1990, Digital Circuits, Digital Components, Specifications