Sciweavers

73
Voted
ASPDAC
2004
ACM
144views Hardware» more  ASPDAC 2004»
15 years 19 days 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