论文信息 - Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications: Extended Abstract: Formal Specification and Verification of the FM9001 Microprocessor Using the DE System - 字舞流文

Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications: Extended Abstract: Formal Specification and Verification of the FM9001 Microprocessor Using the DE System

[1] Bishop Brock,et al. The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor , 1997, Formal Methods Syst. Des..

[2] Jr. Warren A. Hunt. The DE language , 2000 .