7 search results - page 2 / 2 » Embedded tutorial: formal equivalence checking between syste... |
DAC
2009
ACM
13 years 10 months ago
2009
ACM
We present a novel technique for Sequential Equivalence Checking (SEC) between non-cycle-accurate designs. The problem is routinely encountered in verifying the correctness of a s...
TPHOL
2008
IEEE
13 years 11 months ago
2008
IEEE
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...