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
2004
ACM
13 years 10 months ago
2004
ACM
Abstract— In this paper we enhance the performance of multicycle path analysis in an industrial setting. Industrial designs are, in general, more complicated, but contain more in...