Публікація: Методи верифікації темпоральних властивостей цифрових автоматів
Завантаження...
Дата
2019
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХНУРЭ
Анотація
Відомо, що пристрої логічного управління, побудовані на основі автоматного шаблону,функціонують в автоматному часі. Автоматним часом є дискретні відрізки часу, за які автомат переходить з одного стану в інший. Тривалість автоматного такту, як правило, визначається частотою синхросигналу.
Опис
Ключові слова
системи керування реального часу, середовище моделювання, класичний підхід верифікації, синхросигнал
Бібліографічний опис
Пшеничний К. Ю. Методи верифікації темпоральних властивостей цифрових автоматів / К. Ю. Пшеничний, Г. В. Хаханова // Радиоэлектроника и информатика. – 2019. – № 3. – С. 39–42.