231 search results - page 2 / 47 » Improvements to combinational equivalence checking |
DAC
2006
ACM
14 years 6 months ago
2006
ACM
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
FMCAD
2004
Springer
13 years 10 months ago
2004
Springer
This paper describes a new method that is useful in combinational equivalence checking with very challenging industrial designs. The method does not build a miter; instead it build...
ASPDAC
2007
ACM
13 years 9 months ago
2007
ACM
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...