Formal Verification of Reconfigurable Cores.
Satnam SinghCarl Johan LillierothPublished in: FCCM (1999)
Keyphrases
- formal verification
- model checking
- low cost
- bounded model checking
- model checker
- general purpose processors
- reconfigurable architecture
- hardware implementation
- automated verification
- symbolic model checking
- general purpose
- temporal logic
- parallel architectures
- field programmable gate array
- multi core processors
- fine grain
- dynamic reconfiguration
- level parallelism
- functional verification
- smart camera
- domain independent
- program slicing
- test set
- reinforcement learning