A Comprehensive Investigation of Universal Verification Methodology (UVM) Standard for Design Verification.
Shumaila QamarWasi Haider ButtMuhammad Waseem AnwarFarooque AzamMuhammad Qasim KhanPublished in: ICSCA (2020)
Keyphrases
- functional verification
- model checking
- design methodology
- formal verification
- formal methods
- case study
- verification method
- decision trees
- computer aided
- person identification
- cryptographic protocols
- face verification
- soft systems
- information retrieval
- software design
- design tools
- design decisions
- conceptual framework
- temporal logic
- user interface