D. Doukas and A. S. LaPaugh. Clover: A timing constraints verification system. Specification and Synthesis of Digitial Systems, 1990. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Polynomial-Time Techniques For Approximate Timing Analysis Of.. - Chakraborty (1998) (1 citation) (Correct)
Polynomial-Time Techniques For Approximate Timing Analysis Of.. - Chakraborty (1998) (1 citation) (Correct)
Temporal Analysis of Time Bounded Digital Systems - Alan Martello And (6 citations) (Correct)
Temporal Specification Verification via Causal Reasoning - Martello, Levitan (Correct)
More Accurate Polynomial-Time Min-Max Timing Simulation - Chakraborty, Dill (1997) (Correct)
Timing Analysis of Embedded Real-Time Systems - Dasdan (1999) (1 citation) (Correct)
Specification, Simulation, and Verification of Timing Behavior - Amon (1993) (Correct)
Synthesis of Concurrent System Interface Modules with.. - Lin, Vercauteren (1994) (18 citations) (Correct)
Min-Max Timing Analysis and An Application to Asynchronous.. - Chakraborty, Dill, Yun (8 citations) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC