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