UVM-based Verification of a Digital PLL Using SystemVerilog.

Nikolaos Georgoulopoulos Alkiviadis A. Hatzopoulos

Published in: PATMOS (2019)

Keyphrases

hardware designs
model checking
feature selection
digital libraries
digital media
formal verification
high security
metadata
distributed systems
digital content
face verification
asynchronous circuits
digital world
verification method