Enhancing the assertion-based verification of TLM designs with reentrancy.
Laurence PierreLuca FerroPublished in: MEMOCODE (2010)
Keyphrases
- formal methods
- face verification
- model checking
- computer vision
- verification method
- high security
- artificial neural networks
- expert systems
- search algorithm
- three dimensional
- design space
- signature verification
- formal verification
- fingerprint verification
- asynchronous circuits
- information systems
- neural network
- handwritten signature verification