Formal Verification of a Pipelined Microprocessor.
Mandayam K. SrivasMark BickfordPublished in: IEEE Softw. (1990)
Keyphrases
- formal verification
- functional verification
- model checking
- special purpose hardware
- model checker
- symbolic model checking
- data flow
- design methodology
- automated verification
- high speed
- bounded model checking
- program slicing
- circuit design
- physical design
- linear array
- temporal logic
- floating point
- knowledge based systems
- knowledge base
- artificial intelligence