The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor.
Bishop BrockWarren A. Hunt Jr.Published in: Formal Methods Syst. Des. (1997)
Keyphrases
- formal specification
- model checking
- hardware description language
- design methodology
- concurrent systems
- formal methods
- hardware designs
- model checker
- functional verification
- specification languages
- integrated circuit
- temporal logic
- protocol specification
- formal verification
- specification language
- object oriented design
- grid workflow
- programmable logic
- process algebra
- hardware design
- reverse engineering
- bounded model checking
- object oriented
- database systems
- production system
- parallel algorithm
- signal processing