UVM-based Functional Coverage Driven AXI4-Stream Verification.

Chunlin Xu Wei Ni Yukun Song

Published in: ASICON (2019)

Keyphrases

functional verification
data streams
functional analysis
sliding window
data driven
real time
model checking
machine learning
artificial intelligence
case study
relational databases
data processing
temporal logic
high security