Smart diagnostics for configurable processor verification.
Sadik EzerScott JohnsonPublished in: DAC (2005)
Keyphrases
- functional verification
- high speed
- model checking
- single processor
- condition monitoring
- single chip
- formal verification
- person identification
- instruction set
- computer architecture
- face verification
- parallel processing
- computer systems
- expert systems
- asynchronous circuits
- verification method
- false acceptance rate
- distributed memory
- smart spaces
- data sets
- formal methods
- operating system
- artificial intelligence
- genetic algorithm