Formal verification of an IBM CoreConnect processor local bus arbiter core.
Amit GoelWilliam R. LeePublished in: DAC (2000)
Keyphrases
- formal verification
- functional verification
- high speed
- model checking
- industry standard
- model checker
- automated verification
- bounded model checking
- program slicing
- ibm zenterprise
- single chip
- artificial intelligence
- parallel processing
- knowledge based systems
- symbolic model checking
- formal specification
- input output
- temporal logic
- ibm power processor