A proposed methodology to improve UVM-based test generation and coverage closure.

Khaled Fathy Khaled Salah Rafik Guindi

Published in: IDT (2015)

Keyphrases

test generation
test cases
code coverage
data sets
high level
design automation
symbolic execution
database
databases
decision trees
case study
cooperative
object oriented
integrity constraints
manufacturing systems