32 search results - page 1 / 7 » Non-cycle-accurate sequential equivalence checking |
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...
DAC
2006
ACM
13 years 11 months ago
2006
ACM
In this paper, we propose a novel technique on mining relationships in a sequential circuit to discover global constraints. In contrast to the traditional learning methods, our mi...
ASPDAC
2005
ACM
13 years 11 months ago
2005
ACM
ATS
2010
IEEE
13 years 3 months ago
2010
IEEE