Using transformations and verification in circuit design

Formal verification in hardware design: a survey

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Elementary Microarchitecture Algebra

CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification

Parallel User Interfaces for Parallel Applications

HPDC '96 Proceedings of the 5th IEEE International Symposium on High Performance Distributed Computing

Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods

WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques

Systematic Formal Verification of Interpreters

ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods