Improved inter integrated circuit bus verification based on universal verification methodology
Nowadays, with the development of integrated circuits, many smart devices such as smart phones and computers with a wide variety of functionalities are developed. As a smart device might contain many chips including sensors, CPU, GPU and memory, protocols are required to establish communicatio...
Saved in:
Main Author: | Jiang, Zhuoyuan |
---|---|
Other Authors: | Kim Tae Hyoung |
Format: | Thesis-Master by Coursework |
Language: | English |
Published: |
Nanyang Technological University
2025
|
Subjects: | |
Online Access: | https://hdl.handle.net/10356/182757 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Nanyang Technological University |
Language: | English |
Similar Items
-
APB bus LPTIM verification based on universal verification methodology
by: Yao, Junxin
Published: (2024) -
APB bus IWDG verification based on universal verification methodology
by: Ma, Yue
Published: (2024) -
Formal approach to program verification
by: Chatchai Koetsawat
Published: (2006) -
A rigorous methodology for specification and verification of business processes
by: Masalagiu, C., et al.
Published: (2013) -
APB bus SPI system level verification based on universal verification methodology
by: Lyu, Lingkun
Published: (2023)