A Low-Cost Emulation System for Fast Co-verification and Debug.
Jorge Luis Lagos-BenitesMichelangelo GrossoLuca SterponeMatteo Sonza ReordaG. AudisioM. PipponziMarco SabatiniPublished in: ETS (2011)
Keyphrases
- low cost
- model checking
- low power
- formal verification
- digital camera
- concurrent systems
- data acquisition
- handwritten signature verification
- real time
- signature verification
- highly efficient
- lightweight
- image processing
- face verification
- formal analysis
- artificial intelligence
- learning algorithm
- high security
- genetic algorithm
- functional verification
- neural network