New Methods of Constructing Test Sequences for Datapath

• Autorzy: Karatkevich A.

Warianty tytułu

PL

Nowe metody konstruowania sekwencji testowych dla ścieżki przetwarzania danych

• Języki publikacji: EN

Abstrakty

EN

The paper presents the original algorithms for generation of sequences of microinstructions for testing a datapath in a microprogrammed digital system. It is supposed that every direct connection between the datapath units should be tested, and the length of test sequence should be minimized. The proposed algorithms have been compared using the examples.

PL

W artykule przedstawiono nowe algorytmy generowania sekwencji mikroinstrukcji dla testowania ścieżki przetwarzania danych w mikroprogramowanym układzie cyfrowym. Zakłada się, że każde możliwe połączenie bloków ścieżki przetwarzania danych należy sprawdzić. Sekwencja testowa powinna być minimalizowana względem długości. Zaproponowane algorytmy porównano przy pomocy przykładów.

Słowa kluczowe

EN

datapath; test bench; verification; microprogrammed system; electrical technology; electrical power engineering

PL

ścieżka przetwarzania danych; środowisko testowe; układ mikroprogramowany; elektrotechnika; elektroenergetyka

• Wydawca: Wydawnictwo SIGMA-NOT
• Czasopismo: Przegląd Elektrotechniczny
• Rocznik: 2011
• Tom: R. 87, nr 11
• Strony: 169--172
• Opis fizyczny: Bibliogr. 9 poz., il., tabl., wykr.

Twórcy

autor

Karatkevich A.

• University of Zielona Góra, Institute of Computer Science and Electronics, ul. prof. Z. Szafrana 2, 65-246 Zielona Góra,

Bibliografia

• [1] Baranov S., Logic and System Design of Digital Systems. Tallinn: TGU (2008)
• [2] Barkalov A., Węgrzyn M., Design of control units with Programmable Logic. Zielona Góra: UZ (2006)
• [3] Barkalov A., Titarenko L., Basic Principles of Logic Design. Zielona Góra: UZ (2010)
• [4] Wiśniewski R., Synthesis of compositional microprogram control units for programmable devices. Zielona Góra: UZ (2009)
• [5] Baranov S., ASMs in high level synthesis of EDA tool ABELITE, DESDes'09 Int. IFAC Workshop Proceedings, (2009), 195-200 (available online on www.ifacpapersonline. net)
• [6] Karatkevich A., Baranov S., Graph Based Approach to Test Bench Constructing for Datapath, 55. Internationales Wissenschaftliches Kolloquium - IWK, (2010), 662-667
• [7] Edmonds J., Johnson E.L., Matching Euler tours and the Chinese postman problem, Mathematical Programming, 5 (1973), 88-124
• [8] Murata T., Petri Nets: Properties, Analysis and Applications, Proceedings of the IEEE, 77 (1989), 541–580
• [9] Karatkevich A., Petri Net Based Approach to Test Bench Constructing for Datapath, 1st International Conference PECCS Proceedings, (2011), 506-511