| Autor: |
Olexander Shkil, Yurii Pahomov, Elvira Kulak, Anatolii Miroshnyk, Dariia Rakhlis, Maryna Miroshnyk |
| Rok vydání: |
2019 |
| Předmět: |
|
| Zdroj: |
2019 International Conference on Information and Telecommunication Technologies and Radio Electronics (UkrMiCo). |
| DOI: |
10.1109/ukrmico47782.2019.9165509 |
| Popis: |
The method of detection and localization of design errors in HDL-models of finite state machines with arbitrary output functions was proposed. The diagnostic experiment is carried out bypassing all arcs of the Mealy machine, starting from the initial vertex, including for machines of the "non-exclusive" class. To ensure the return of the machine with a possible design error in the initial state, it is suggested to use synchronizing sequences. Diagnostic experiments were performed in the Active-HDL design environment. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
