Industrial Practice of Formal Hardware Verification: A Sampling.
Ganesh GopalakrishnanWarren A. Hunt Jr.Published in: Formal Methods Syst. Des. (2003)
Keyphrases
- formal methods
- low cost
- hardware and software
- formal analysis
- real time
- model checking
- hardware designs
- random sampling
- computer systems
- formal specification
- massively parallel
- monte carlo
- sampling algorithm
- sampling methods
- vlsi implementation
- industrial environment
- personal computer
- formal model
- hardware implementation
- computing systems
- formal verification
- high end
- high speed