Equivalence checking using trace partitioning
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. Th...
| Հիմնական հեղինակներ: | , , , |
|---|---|
| Ձևաչափ: | Conference item |
| Հրապարակվել է: |
IEEE
2015
|