Robust Vera Coding Techniques for Gate-Level and Tester-Compliant SoC Verification Environments.

Mark Litterick Joachim Geishauser

Published in: MTV (2004)

Keyphrases

real world
levels of abstraction
neural network
image processing
coding scheme
hardware and software
black box
robotic systems
face verification
formal verification