Verification of configurable processor cores.
Marinés Puig-MedinaGülbin EzerPavlos KonasPublished in: DAC (2000)
Keyphrases
- functional verification
- processor core
- multi core processors
- level parallelism
- operating system
- parallel processing
- multicore processors
- multi core architecture
- multi core systems
- central processing unit
- parallel architectures
- high speed
- model checking
- multiprocessor systems
- formal verification
- formal methods
- fingerprint verification
- instruction set
- database
- single processor
- industry standard
- database systems
- real time
- general purpose processors