CLOVER: a timing constraints verification system

Saved in:
Bibliographic Details
Main Authors: Doukas, Dimitris, LaPaugh, Andrea S.
Format: Conference Proceeding
Language:English
Subjects:
Applied computing > Arts and humanities > Architecture (buildings) > Computer-aided design
Applied computing > Physical sciences and engineering > Engineering > Computer-aided design
Clocks
Computer science
Design automation
Digital circuits
Hardware > Hardware validation > Functional verification
Hardware > Integrated circuits > Logic circuits
Logic gates
Permission
Signal design
Specification languages
Synchronization
Timing
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
DOI:10.1145/127601.127747