Debug Automation from Pre-Silicon to Post-Silicon
In this book, we propose automated debugging approaches for the bugs and the faults which appear in different abstraction levels of a hardware system, i.e., transaction-level, RTL, and gate-level. Our automated debug approaches are applied to a hardware system at different granularities to find t...
Đã lưu trong:
| Những tác giả chính: | , |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | English |
| Được phát hành: |
Springer
2015
|
| Những chủ đề: | |
| Truy cập trực tuyến: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/56943 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
| Tóm tắt: | In this book, we propose automated debugging approaches for the bugs and
the faults which appear in different abstraction levels of a hardware system, i.e.,
transaction-level, RTL, and gate-level. Our automated debug approaches are applied
to a hardware system at different granularities to find the possible location of bugs
and faults. The transaction-based debug approach is applied to a hardware system at
transaction-level asserting the correct relation of transactions. Our automated debug
approach for design bugs finds the potential fault candidates at RTL and gate-level
of a circuit. In this case, logic bugs and synchronization bugs are considered as they
are the most difficult bugs to be localized. For electrical faults and, in particular,
delay faults our proposed debug automation finds the potential failing speedpaths in
a circuit at gate-level... |
|---|