Results 271 to 280 of about 131,761 (282)

GreASE

ACM Transactions on Software Engineering and Methodology, 2014
Giuseppe Lettieri, Gigliola Vaglini
exaly  

Sequential equivalence checking based on structural similarities

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2000
exaly  

Equivalence checking of static affine programs using widening to handle recurrences

ACM Transactions on Programming Languages and Systems, 2012
Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe   +2 more
exaly  

Equivalence, identity, and unitarity checking in black-box testing of quantum programs

Journal of Systems and Software
Peixun Long, Jianjun Zhao
exaly  

Quantum Markov chains: Description of hybrid systems, decidability of equivalence, and model checking linear-time properties

Information and Computation, 2015
Lvzhou Li, Yuan Feng
exaly  

Sequential Equivalence Checking for Clock-Gated Circuits

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2014
exaly  

Combinational and Sequential Equivalence Checking

2002
Andreas Kuehlmann, Cornelis A. J. Eijk
openaire   +1 more source

Equivalence checking at Cray Research

IEEE Spectrum, 1996
openaire   +1 more source

Robust Boolean reasoning for equivalence checking and functional property verification

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2002
exaly  

Equivalence checking between behavioral and RTL descriptions with virtual controllers and datapaths

ACM Transactions on Design Automation of Electronic Systems, 2005
exaly