Automating formal verification of customized soft-processors.
Kong Woei SusantoWayne LukPublished in: FPT (2011)
Keyphrases
- boolean functions
- formal verification
- model checking
- model checker
- automated verification
- bounded model checking
- parallel algorithm
- parallel processing
- symbolic model checking
- program slicing
- temporal logic
- parallel computing
- high end
- parallel processors
- distributed memory
- multiprocessor systems
- instruction set
- dynamic programming
- functional verification