Пшеничний, К. Ю.Хаханова, Г. В.2020-06-102020-06-102019Пшеничний К. Ю. Методи верифікації темпоральних властивостей цифрових автоматів / К. Ю. Пшеничний, Г. В. Хаханова // Радиоэлектроника и информатика. – 2019. – № 3. – С. 39–42.http://openarchive.nure.ua/handle/document/12124Відомо, що пристрої логічного управління, побудовані на основі автоматного шаблону,функціонують в автоматному часі. Автоматним часом є дискретні відрізки часу, за які автомат переходить з одного стану в інший. Тривалість автоматного такту, як правило, визначається частотою синхросигналу.ukсистеми керування реального часусередовище моделюваннякласичний підхід верифікаціїсинхросигналArticle