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...
Үндсэн зохиолчид: | Mukherjee, R, Kroening, D, Melham, T, Srivas, M |
---|---|
Формат: | Conference item |
Хэвлэсэн: |
IEEE
2015
|
Ижил төстэй зүйлс
Ижил төстэй зүйлс
-
Enhancing active model learning with equivalence checking using simulation relations
-н: Yogananda Jeppu, N, зэрэг
Хэвлэсэн: (2023) -
Equivalence checking of a floating-point unit against a high-level C model
-н: Mukherjee, R, зэрэг
Хэвлэсэн: (2016) -
Active learning of abstract system models from traces using model checking
-н: Yogananda Jeppu, N, зэрэг
Хэвлэсэн: (2022) -
Proving safety with trace automata and bounded model checking
-н: Kroening, D, зэрэг
Хэвлэсэн: (2015) -
Hardware verification using software analyzers
-н: Mukherjee, R, зэрэг
Хэвлэсэн: (2015)