CLOVER: A timing constraints verification system

Dimitris Doukas, Andrea Suzanne LaPaugh

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

The design and implementation of a timing verification tool, CLOVER, is presented. CLOVER uses a specification model which significantly extends the type of timing constraints, characterizing the temporal behavior of a design, which can be expressed. These constraints are verified by CLOVER against an event graph which is derived from a description of the design's implementation.

Original languageEnglish (US)
Title of host publicationProceedings - Design Automation Conference
PublisherPubl by IEEE
Pages662-667
Number of pages6
ISBN (Print)0818691492
StatePublished - Jun 1 1991
EventProceedings of the 28th ACM/IEEE Design Automation Conference - San Francisco, CA, USA
Duration: Jun 17 1991Jun 21 1991

Publication series

NameProceedings - Design Automation Conference
ISSN (Print)0146-7123

Other

OtherProceedings of the 28th ACM/IEEE Design Automation Conference
CitySan Francisco, CA, USA
Period6/17/916/21/91

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Fingerprint Dive into the research topics of 'CLOVER: A timing constraints verification system'. Together they form a unique fingerprint.

  • Cite this

    Doukas, D., & LaPaugh, A. S. (1991). CLOVER: A timing constraints verification system. In Proceedings - Design Automation Conference (pp. 662-667). (Proceedings - Design Automation Conference). Publ by IEEE.