Method for Diagnosing SoC HDL-code
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Creator |
Sergey Zaychenko, Vladimir Hahanov, Valeria Varchenko
|
|
| Date |
2016-07-06T11:15:27Z
2016-07-06T11:15:27Z 2014 |
|
| Identifier |
Sergey Zaychenko Method for Diagnosing SoC HDL-code /Vladimir Hahanov, Sergey Zaychenko, Valeria Varchenko//Proceedings of IEEE East-West Design & Test Symposium (EWDTS’2014)
http://hdl.handle.net/123456789/3141 |
|
| Description |
The goal is creation TAB-matrix model (Tests – Assertions – Blocks functional) model and diagnosis method to decrease the time of testing and memory for storage by means of forming ternary relations (test – monitor – functional component) in a single table. The problems are: 1) development of digital system HDL-model in the form of a transaction graph for diagnosing functional blocks by using assertion set [1- 6,15]; 2) development method for analyzing TABmatrix to detect minimal set of fault blocks [4-7,13]; 3) Synthesis of logic functions for embedded fault diagnosis procedure. This article describes technology for diagnosis SoC HDL-models, based on Code-Flow Transaction Graph. Diagnosis method is focused to decrease the time of fault detection and memory for storage of diagnosis matrix by means of forming ternary relations between test, monitor, and functional component. The following problems are solved: creation of digital system model in the form of transaction graph and multi-tree of fault detection tables, as well as ternary matrices for activating functional components of the selected set of monitors by using test patterns; development of a method for analysis the activation matrix to detect the faulty blocks with given depth and synthesis logic functions for subsequent embedded hardware fault diagnosis. IEEE Computer Society Test Technology Technical Council |
|
| Language |
en
|
|
| Publisher |
EWDTS
|
|
| Subject |
Diagnosing
HDL SoC |
|
| Title |
Method for Diagnosing SoC HDL-code
|
|
| Type |
Article
|
|