Title | ||
---|---|---|
Hpchecker: An Amba Ahb On-Chip Bus Protocol Checker With Efficient Verification Mechanisms |
Abstract | ||
---|---|---|
Bus-based system-on-a-chip (SoC) design has become the major integrated methodology for shortening SoC design time. The main challenge is how to verify on-chip bus protocols efficiently. Although traditional simulation-based bus protocol monitors can check whether bus signals obey bus protocol or not. They are still lack of an efficient bus protocols verification environment such as FPGA-level or chip-level. To overcome the shortage, we propose a rule-based synthesizable AMBA AHB on-chip bus protocol checker, which contains 73 related AHB on-chip bus protocol rules to check AHB bus signal behaviors, and two corresponding verification mechanisms: an error reference table (ERT) and a windowed trace buffer, to shorten verification time. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1587/transinf.E93.D.2100 | IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS |
Keywords | DocType | Volume |
AMBA, debugging, system-on-a-chip (SoC), protocol checker, verification | Journal | E93D |
Issue | ISSN | Citations |
8 | 1745-1361 | 0 |
PageRank | References | Authors |
0.34 | 14 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Liang-Bi Chen | 1 | 26 | 18.40 |
Jiun-Cheng JU | 2 | 0 | 0.68 |
Chien-Chou WANG | 3 | 2 | 0.84 |
Ing-Jer Huang | 4 | 200 | 34.40 |