APB bus IWDG verification based on universal verification methodology
This thesis investigates the verification of the Independent Watchdog (IWDG) module in Microcontroller Units (MCUs) using Universal Verification Methodology (UVM), an advanced approach enhancing system reliability and integrity. It emphasizes the critical role of the IWDG in preventing system fai...
Main Author: | Ma, Yue |
---|---|
Other Authors: | Gwee Bah Hwee |
Format: | Thesis-Master by Coursework |
Language: | English |
Published: |
Nanyang Technological University
2024
|
Subjects: | |
Online Access: | https://hdl.handle.net/10356/174199 |
Similar Items
-
Speed up verification with hardware accelerator
by: Liu, Yi
Published: (2018) -
Counterexample computation in compositional nonblocking verification
by: Malik, Robi, et al.
Published: (2018) -
Live Verification in an Interactive Proof Assistant
by: Gruetter, Samuel, et al.
Published: (2024) -
Probabilistic verification beyond context-freeness
by: Li, G
Published: (2024) -
Foundational Integration Verification of a Cryptographic Server
by: Erbsen, Andres, et al.
Published: (2024)