Towards Efficient Design Verification - Constrained Random Verification using PyUVM.

Deepak Narayan Gadde Suruchi Kumari Aman Kumar

Published in: CoRR (2024)

Keyphrases

functional verification
formal verification
model checking
embedded systems
design decisions
face verification
design space
high security
verification method
peer to peer overlay
information systems
knowledge based systems
lightweight
software architecture
design principles