Symbolic Multi-Level Verification of Refinement.
Stefan HendricxLuc J. M. ClaesenPublished in: Great Lakes Symposium on VLSI (1999)
Keyphrases
- model checking
- connectionist systems
- verification method
- symbolic representation
- formal verification
- databases
- database systems
- formal methods
- symbolic data
- neural learning
- step wise
- multiscale
- evolutionary algorithm
- high level
- decision making
- computer vision
- fingerprint verification
- artificial intelligence
- false acceptance rate
- functional verification
- information retrieval