Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension.

Stefan Andrei Albert Mo Kim Cheng

Published in: RTSS (2006)

Keyphrases

building blocks
distributed systems
asynchronous circuits
computer vision
evolutionary algorithm
knowledge based systems
data sets
neural network
artificial intelligence
complex systems
retrieval systems
automated verification