Login / Signup
Automatic test generation for micro-architectural verification of configurable microprocessor cores with user extensions.
Nabarun Bhattacharyya
A. Wang
Published in:
HLDVT (2001)
Keyphrases
</>
test generation
symbolic execution
test cases
test sequences
design automation
static analysis
mutation testing
user interface
high speed
quality assurance
databases
training data
model checking
software application
functional verification