Timing Verification Using HDTV

14 years 2 months ago

Download kona.ee.pitt.edu

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.

Alan R. Martello, Steven P. Levitan, Donald M. Chi

Real-time Traffic

Computer Architecture | DAC 1990 | Digital Circuits | Digital Components | Specifications |

claim paper

» Modeling and Verification of Priority Assignment in RealTime Databases Using Uppaal

» RunTime Verification of Networked Software

» Modeling and Verification of a FaultTolerant RealTime Startup Protocol Using Calendar Auto...

» Applying RunTime Monitoring to the DeepImpact Fault Protection Engine

» Verification of a CAN bus model in SystemC with functional coverage

» Automatic Verification of Timed Circuits

» Integrating Software Testing and RunTime Checking in an Assertion Verification Framework

» Automating Formal Modular Verification of Asynchronous RealTime Embedded Systems

Post Info
More Details (n/a)

Added	11 Aug 2010
Updated	11 Aug 2010
Type	Conference
Year	1990
Where	DAC
Authors	Alan R. Martello, Steven P. Levitan, Donald M. Chiarulli

Comments (0)

Sciweavers

Timing Verification Using HDTV

Computer Architecture | DAC 1990 | Digital Circuits | Digital Components | Specifications |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers