Functional coverage-driven UVM-based UART IP verification.

Wei Ni Xiaotian Wang

Published in: ASICON (2015)

Keyphrases

functional verification
model checking
formal methods
artificial intelligence
functional properties
functional analysis
data sets
machine learning
data driven
formal verification
asynchronous circuits
verification method