Bishop Brock, Warren A. Hunt Jr.. The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor. Formal Methods in System Design, 11(1):71-104, 1997.
@article{BrockH97,
title = {The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor},
author = {Bishop Brock and Warren A. Hunt Jr.},
year = {1997},
researchr = {https://researchr.org/publication/BrockH97},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {11},
number = {1},
pages = {71-104},
}