Verification of regular architectures using ALPHA: a case study.
Catherine DezanPatrice QuintonPublished in: ASAP (1994)
Keyphrases
- case study
- formal verification
- model checking
- signature verification
- face verification
- concurrent systems
- design methodologies
- decision making
- image processing
- data sets
- cost function
- asynchronous circuits
- person identification
- formal analysis
- distributed systems
- digital libraries
- bayesian networks
- face recognition
- artificial intelligence
- learning algorithm
- data mining
- real world