Verification of the Sparrow Processor.
Reinhard BündgenWolfgang KüchlinWerner LauterbachPublished in: ECBS (1996)
Keyphrases
- functional verification
- model checking
- high speed
- formal verification
- face verification
- machine learning
- real time
- computer architecture
- signature verification
- verification method
- concurrent systems
- learning algorithm
- web services
- genetic algorithm
- distributed systems
- data mining
- single processor
- asynchronous circuits
- high security
- false acceptance rate
- databases