A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf
.
Equivalence Checking Using Trace Partitioning
2015
2015 IEEE Computer Society Annual Symposium on VLSI
One application of equivalence checking is to establish correspondence between a high-level, abstract design and a low-level implementation. We propose a new partitioning technique for the case in which the two designs are substantially different and traditional equivalence-point insertion fails. The partitioning is performed in tandem in both models, exploiting the structure present in the high-level model. The approach generates many but tractable SAT/SMT queries. We present experimental data
doi:10.1109/isvlsi.2015.110
dblp:conf/isvlsi/MukherjeeKMS15
fatcat:vexrgnkqsvg7fpj47nomdbvgom