UVM Verification IP for AXI.

Vazgen Melikyan Stepan Harutyunyan Artak Kirakosyan Taron Kaplanyan

Published in: EWDTS (2021)

Keyphrases

model checking
formal verification
formal methods
evolutionary algorithm
signature verification
person identification
asynchronous circuits