Login / Signup
Panel: What's the next 'big thing' in simulation-based verification?
Moshe Levinger
Avi Ziv
Brian Bailey
Jacob Abraham
Bob Bentley
William H. Joyner
Yaron Kas
Published in:
HLDVT (2003)
Keyphrases
</>
model checking
asynchronous circuits
big data
concurrent systems
face verification
formal methods
artificial intelligence
signature verification
false acceptance
database
databases
social networks
decision making
evolutionary algorithm
face detection
test generation