Verification of Interconnect RTL Code for Memory-Centric Computing using UVM.

Hyuk-Je Kwon Myeong-Hoon Oh Won-Ok Kwon

Published in: ICEIC (2021)

Keyphrases

high speed
source code
memory requirements
database
model based diagnosis
user centric
memory usage
neural network
model checking
random access
limited memory
power dissipation
symbolic execution
windows xp