@inproceedings{7c543308eedc49d494aa7d07041439be,
title = "CLOVER: A timing constraints verification system",
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.",
author = "Dimitris Doukas and LaPaugh, {Andrea S.}",
year = "1991",
month = jun,
language = "English (US)",
isbn = "0818691492",
series = "Proceedings - Design Automation Conference",
publisher = "Publ by IEEE",
pages = "662--667",
booktitle = "Proceedings - Design Automation Conference",
note = "Proceedings of the 28th ACM/IEEE Design Automation Conference ; Conference date: 17-06-1991 Through 21-06-1991",
}