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...
Autors principals: | Mukherjee, R, Kroening, D, Melham, T, Srivas, M |
---|---|
Format: | Conference item |
Publicat: |
IEEE
2015
|
Ítems similars
-
Enhancing active model learning with equivalence checking using simulation relations
per: Yogananda Jeppu, N, et al.
Publicat: (2023) -
Equivalence checking of a floating-point unit against a high-level C model
per: Mukherjee, R, et al.
Publicat: (2016) -
Active learning of abstract system models from traces using model checking
per: Yogananda Jeppu, N, et al.
Publicat: (2022) -
Proving safety with trace automata and bounded model checking
per: Kroening, D, et al.
Publicat: (2015) -
Hardware verification using software analyzers
per: Mukherjee, R, et al.
Publicat: (2015)