Sciweavers

ASPDAC
2004
ACM
144views Hardware» more  ASPDAC 2004»
14 years 4 months ago
Verification of timed circuits with symbolic delays
When time is incorporated in the specification of discrete systems, the complexity of verification grows exponentially. When the temporal behavior is specified with symbols, the ve...
Robert Clarisó, Jordi Cortadella