Login / Signup
Verification of UART using AHB VIP with Maximum Coverage.
Persiya Gnana Golda D
S. Percy Deborah
Suji Sharon J.
D. S. Shylu Sam
P. Sam Paul
D. Jayanthi
Ansia Liji K. S.
G. Nivetha
Published in:
ICDCS (2024)
Keyphrases
</>
model checking
maximum number
formal verification
real time
data sets
computer vision
face verification
formal methods
formal analysis
artificial intelligence
clustering algorithm
three dimensional
objective function
data structure
high security
concurrent systems