Login / Signup
Automatic Test Bench Generation and Connection in Modern Verification Environments: Methodology and Tool.
Rohit Srivastava
Gaurav Gupta
Sarvesh Patankar
Nandini Mudgil
Published in:
VDAT (2013)
Keyphrases
</>
real world
databases
artificial intelligence
software tools
data driven
dynamic environments
formal verification
face verification
fully automatic
image processing
neural network
model checking
semi automatic
user friendly
conceptual framework
formal analysis
generation process
real time