A formal HDL and its use in the FM9001 verification

The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor

Formal Methods in System Design

Behavior tables: a basis for system representation and transformational system synthesis

ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design

Algebraic Models of Superscalar Microprocessor Implementations: A Case Study

Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters

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

A Mechanical Analysis of Program Verification Strategies

Journal of Automated Reasoning

Formalization of the DE2 language

CHARME'05 Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods