In the recent year, System-on-Chip (SoC) has become a popular and important issue. As
the environment of the SoC design becomes more and more complex. The issue of system
verification becomes more important. In previous, the intellectual property (IP) was
developed dependently. Every designer just designed the IP without integrated with others.
But with the complexity of the environment increasing, more and more IPs are integrated into
a system. Even though the verification plans are more complex, but some protocol errors can
also not found by designers. Some incautious behavior may cause the system deadlock or in a
jam. Some research use protocol checker to verify bus protocol, but they can¡¦t synthesize, so
we propose a rule-based and synthesizable style protocol checker(AXIChecker) to verify the
transactions on the AXI bus conform the AMBA 3.0(AXI) protocol or not.
| Identifer | oai:union.ndltd.org:NSYSU/oai:NSYSU:etd-0828110-112834 |
| Date | 28 August 2010 |
| Creators | Ju, Jiun-Cheng |
| Contributors | Kuen-Jong Lee, Ing-Jer Huang, Ing-Jer Huang, Chih-Tsun Huang, Pei-Sheng Su, Pao-Ann Hsiung |
| Publisher | NSYSU |
| Source Sets | NSYSU Electronic Thesis and Dissertation Archive |
| Language | Cholon |
| Detected Language | English |
| Type | text |
| Format | application/pdf |
| Source | http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0828110-112834 |
| Rights | not_available, Copyright information available at source archive |
Page generated in 0.0045 seconds