DDD-FM9001: derivation of a verified microprocessor

Authors:
Bhaskar Bose
Affiliations:
Indiana Univ.
Venue:
DDD-FM9001: derivation of a verified microprocessor
Year:
1995

Citing 0
Cited 3

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

Formal Methods in System Design
Visualizing System Factorizations with Behavior Tables

FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
Verification of an optimized fault-tolerant clock synchronization circuit

DCC'96 Proceedings of the 3rd international conference on Designing Correct Circuits

Quantified Score

Hi-index	0.00

Visualization

Abstract