SAT-Based Methods for Sequential Hardware Equivalence Verification without Synchronization

Zurab Khasidashvili; Ziyad Hanna

doi:10.1016/s1571-0661(05)82545-9

SAT-Based Methods for Sequential Hardware Equivalence Verification without Synchronization

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(05)82545-9 ◽

2003 ◽

Vol 89 (4) ◽

pp. 593-607 ◽

Cited By ~ 8

Author(s):

Zurab Khasidashvili ◽

Ziyad Hanna

Keyword(s):

Equivalence Verification

Download Full-text

Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra

ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005. ◽

10.1109/iccad.2005.1560081 ◽

2005 ◽

Cited By ~ 15

Author(s):

N. Shekhar ◽

P. Kalla ◽

F. Enescu ◽

S. Gopalakrishnan

Keyword(s):

Finite Ring ◽

Fixed Size ◽

Equivalence Verification

Download Full-text

Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms

Evolutionary Image Analysis, Signal Processing and Telecommunications - Lecture Notes in Computer Science ◽

10.1007/10704703_15 ◽

1999 ◽

pp. 182-192 ◽

Cited By ~ 2

Author(s):

Fulvio Corno ◽

Matteo Sonza Reorda ◽

Giovanni Squillero

Keyword(s):

Genetic Algorithms ◽

Equivalence Verification

Download Full-text

Formal equivalence verification

Formal Verification ◽

10.1016/b978-0-12-800727-3.00008-3 ◽

2015 ◽

pp. 225-259

Author(s):

Erik Seligman ◽

Tom Schubert ◽

M V Achutha Kiran Kumar

Keyword(s):

Formal Equivalence ◽

Equivalence Verification

Download Full-text

Equivalence Verification of FPGA and Structured ASIC Implementations

2007 International Conference on Field Programmable Logic and Applications ◽

10.1109/fpl.2007.4380683 ◽

2007 ◽

Cited By ~ 6

Author(s):

Joachim Pistorius ◽

Mike Hutton ◽

Jay Schleicher ◽

Mihail Iotov ◽

Enoch Julias ◽

...

Keyword(s):

Equivalence Verification

Download Full-text

Automatic testing equivalence verification of spi calculus specifications

ACM Transactions on Software Engineering and Methodology ◽

10.1145/941566.941570 ◽

2003 ◽

Vol 12 (2) ◽

pp. 222-284 ◽

Cited By ~ 41

Author(s):

Luca Durante ◽

Riccardo Sisto ◽

Adriano Valenzano

Keyword(s):

Automatic Testing ◽

Equivalence Verification ◽

Testing Equivalence

Download Full-text

FEVS: A Functional Equivalence Verification Suite for High-Performance Scientific Computing

Mathematics in Computer Science ◽

10.1007/s11786-011-0101-6 ◽

2011 ◽

Vol 5 (4) ◽

pp. 427-435 ◽

Cited By ~ 12

Author(s):

Stephen F. Siegel ◽

Timothy K. Zirkel

Keyword(s):

High Performance ◽

Scientific Computing ◽

Functional Equivalence ◽

Equivalence Verification

Download Full-text

Equivalence Verification of Large Galois Field Arithmetic Circuits using Word-Level Abstraction via Gröbner Bases

Proceedings of the The 51st Annual Design Automation Conference on Design Automation Conference - DAC '14 ◽

10.1145/2593069.2593134 ◽

2014 ◽

Cited By ~ 5

Author(s):

Tim Pruss ◽

Priyank Kalla ◽

Florian Enescu

Keyword(s):

Gröbner Bases ◽

Galois Field ◽

Grobner Bases ◽

Arithmetic Circuits ◽

Word Level ◽

Equivalence Verification

Download Full-text

Equivalence verification for NULL Convention Logic (NCL) circuits

2014 IEEE 32nd International Conference on Computer Design (ICCD) ◽

10.1109/iccd.2014.6974681 ◽

2014 ◽

Cited By ~ 4

Author(s):

Vidura M. Wijayasekara ◽

Sudarshan K. Srinivasan ◽

Scott C. Smith

Keyword(s):

Null Convention Logic ◽

Equivalence Verification

Download Full-text

Construct Equivalence Verification, Latent Means Analysis of Psychological Status between Male and Female Pro Golfers

The Korean Journal of Measurement and Evaluation in Physical Education and Sports Science ◽

10.21797/ksme.2011.13.2.003 ◽

2011 ◽

Vol 13 (2) ◽

pp. 39-51

Author(s):

Junwoo Lee

Keyword(s):

Psychological Status ◽

Male And Female ◽

Construct Equivalence ◽

Equivalence Verification ◽

Latent Means

Download Full-text

A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification

IFIP Advances in Information and Communication Technology - Formal Methods for Distributed System Development ◽

10.1007/978-0-387-35533-7_10 ◽

2000 ◽

pp. 155-170 ◽

Cited By ~ 7

Author(s):

Luca Durante ◽

Riccardo Sisto ◽

Adriano Valenzano

Keyword(s):

Equivalence Verification ◽

Testing Equivalence

Download Full-text