A Formal Hdl and Its Use in the Fm9001 Verication a Formal Hdl and Its Use in the Fm9001 Verication Technical Report #79 16 References a Formal Hdl and Its Use in the Fm9001 Verication Technical Report #79
暂无分享,去创建一个
Konrad Slind | Graham Birtwistle | Steven D. Johnson | Mark Williams | Todd Simpson | Konrad Slind | S. Johnson | G. Birtwistle | Mark Williams | Brian Graham | Todd Simpson | B. Graham
[1] M. Gordon. HOL: A Proof Generating System for Higher-Order Logic , 1988 .
[2] Robert S. Boyer,et al. A computational logic handbook , 1979, Perspectives in computing.
[3] W. J. Cullyer. Implementing Safety-Critical Systems: The VIPER Microprocessor , 1988 .
[4] Miriam Leeser,et al. From Programs to Transistors: Verifying Hardware Synthesis Tools , 1989, Hardware Specification, Verification and Synthesis.
[5] Avra Cohn,et al. A Proof of Correctness of the Viper Microprocessor: The First Level , 1988 .