A Unified Framework for Equivalence Verification of Datapath Oriented Applications.
Bijan AlizadehMasahiro FujitaPublished in: IEICE Trans. Inf. Syst. (2009)
Keyphrases
- model checking
- formal verification
- case study
- asynchronous circuits
- early vision
- verification method
- formal analysis
- image processing
- image sequences
- concurrent systems
- database
- equivalence relation
- face verification
- petri net
- digital libraries
- metadata
- decision making
- learning algorithm
- genetic algorithm
- machine learning
- databases
- data sets
- real time