CLOVER: A timing constraints verification system

Dimitris Doukas, Andrea S. LaPaugh

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

1 Scopus citations


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
Number of pages6
ISBN (Print)0818691492
StatePublished - Jun 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


OtherProceedings of the 28th ACM/IEEE Design Automation Conference
CitySan Francisco, CA, USA

All Science Journal Classification (ASJC) codes

  • General Engineering


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

Cite this