Публікація: Synchronizing sequences for verification of finite state machines
Завантаження...
Дата
2019
Назва журналу
ISSN журналу
Назва тома
Видавництво
Анотація
Abstract—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.
Опис
Ключові слова
verification, state machine, state diagram, diagnistic experiment, HDL, tests, waveform
Бібліографічний опис
Synchronizing sequences for verification of finite state machines / O. S. Shkil, D. Y. Rakhlis, E. M. Kulak and others, 2019, p.5