On formal equivalence verification of hardware

Model checking

Model checking

Formal Equivalence Checking and Design DeBugging

Formal Equivalence Checking and Design DeBugging

Switching and Finite Automata Theory: Computer Science Series

Switching and Finite Automata Theory: Computer Science Series

Theoretical framework for compositional sequential hardware equivalence verification in presence of design constraints

Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design

TRANS: efficient sequential verification of loop-free circuits

HLDVT '02 Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop

Post-reboot Equivalence and Compositional Verification of Hardware

FMCAD '06 Proceedings of the Formal Methods in Computer Aided Design

A compositional approach to the combination of combinational and sequential equivalence checking of circuits without known reset states

Proceedings of the conference on Design, automation and test in Europe