Equivalence checking using trace partitioning

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...

Detaylı Bibliyografya
Asıl Yazarlar:	Mukherjee, R, Kroening, D, Melham, T, Srivas, M
Materyal Türü:	Conference item
Baskı/Yayın Bilgisi:	IEEE 2015

Benzer Materyaller

Enhancing active model learning with equivalence checking using simulation relations
Yazar:: Yogananda Jeppu, N, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Equivalence checking of a floating-point unit against a high-level C model
Yazar:: Mukherjee, R, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Active learning of abstract system models from traces using model checking
Yazar:: Yogananda Jeppu, N, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Proving safety with trace automata and bounded model checking
Yazar:: Kroening, D, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Hardware verification using software analyzers
Yazar:: Mukherjee, R, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Learning concise models from long execution traces
Yazar:: Yogananda Jeppu, N, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Unbounded Safety Verification for Hardware Using Software Analyzers
Yazar:: Mukherjee, R, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Equivalence checking of retimed circuits
Yazar:: Netolická, Karolína
Baskı/Yayın Bilgisi: (2006)

Equivalence checking of quantum circuits by nonlocality
Yazar:: Weixiao Sun, ve diğerleri
Baskı/Yayın Bilgisi: (2022-11-01)

Race analysis for systemC using model checking
Yazar:: Blanc, N, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Computing Over−Approximations with Bounded Model Checking
Yazar:: Kroening, D
Baskı/Yayın Bilgisi: (2006)

Computing over-approximations with bounded model checking
Yazar:: Kroening, D
Baskı/Yayın Bilgisi: (2006)

Trace Checking with Real−Time Specifications
Yazar:: Deutschmann, R, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

Property-driven fence insertion using reorder bounded model checking
Yazar:: Joshi, S, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Property-Driven Fence Insertion using Reorder Bounded Model Checking
Yazar:: Joshi, S, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Integrating Model Checking and Theorem Proving in a Reflective Functional Language
Yazar:: Melham, T
Baskı/Yayın Bilgisi: (2004)

Checking consistency of C and Verilog using predicate abstraction and induction
Yazar:: Kroening, D, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

Checking Consistency of C and Verilog using Predicate Abstraction and Induction
Yazar:: Kroening, D, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

Model Checking with Abstraction for Web Services
Yazar:: Sharygina, N, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Equivalence checking for weak bi-Kleene algebra
Yazar:: Tobias Kappé, ve diğerleri
Baskı/Yayın Bilgisi: (2021-08-01)

Automatic simulation method for functional equivalence check
Yazar:: Liao Lu, ve diğerleri
Baskı/Yayın Bilgisi: (2019-08-01)

On the application of equivalence checking algorithms for program minimization
Yazar:: V. A. Zakharov, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Effect of age and type of reinforcer in the equivalence – equivalence by a partition procedure
Yazar:: Andres Garcia, ve diğerleri
Baskı/Yayın Bilgisi: (2011-06-01)

Coverage in interpolation-based model checking
Yazar:: Chockler, H, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Faster linearizability checking via P-compositionality
Yazar:: Horn, A, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Faster linearizability checking via P-compositionality
Yazar:: Horn, A, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

On the equivalence-checking problem for polysemantic models of sequential programs.
Yazar:: I.M. Zakharyaschev, ve diğerleri
Baskı/Yayın Bilgisi: (2004-01-01)

Discovering vesicle traffic network constraints by model checking.
Yazar:: Ankit Shukla, ve diğerleri
Baskı/Yayın Bilgisi: (2017-01-01)

Game Semantics Based Equivalence Checking of Higher−Order Programs
Yazar:: Hopkins, D
Baskı/Yayın Bilgisi: (2012)

Partition axioms and lattice - equivalence of topological spaces
Yazar:: Chew, K. P., ve diğerleri
Baskı/Yayın Bilgisi: (1975)

Game semantics based equivalence checking of higher-order programs
Yazar:: Hopkins, D, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Approximation Refinement for Interpolation−Based Model Checking
Yazar:: D'Silva, V, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Approximation Refinement for Interpolation−Based Model Checking
Yazar:: D'Silva, V, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Equivalence checking of digital circuits : fundamentals, principles, methods /
Yazar:: 269272 Molitor, Paul, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

Publisher Correction: Equivalence checking of quantum circuits by nonlocality
Yazar:: Weixiao Sun, ve diğerleri
Baskı/Yayın Bilgisi: (2022-12-01)

Polynomial time algorithm for checking strong equivalence of program
Yazar:: V. A. Zakharov, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Polynomial time algorithm for checking strong equivalence of program
Yazar:: T. A. Novikova, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Lifting CDCL to template-based abstract domains for program verification
Yazar:: Mukherjee, R, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Behavioral Consistency of C and Verilog Programs Using Bounded Model Checking
Yazar:: Kroening, D, ve diğerleri
Baskı/Yayın Bilgisi: (2003)

Automatic analysis of DMA races using model checking and k-induction
Yazar:: Donaldson, A, ve diğerleri
Baskı/Yayın Bilgisi: (2011)