Search academic texts

Information × Registration Number 0824U002425, PhD dissertation Status Доктор філософії Date 29-06-2024 popup.evolution o Title Temporal finite state machines models and verification methods in hardware description languages Author Kyrylo Pshenychnyi, popup.head Олександр С. Шкіль popup.opponent Anzhelika V. Parkhomenko popup.opponent SERGII Leonov popup.review Barkovskaya Olessia Yu. popup.review VOLODYMYR Tokarev Description У роботі розвʼязано науково-практичні задачі проєктування, верифікації та діагностики систем реального часу на базі моделей кінцевих автоматів через впровадження шаблонів на мовах опису апаратури (Hardware Descrtiption Languages, HDL), які використовуються для синтезу цифрових пристроїв реального часу. Registration Date 2024-07-03 popup.nrat_date 2024-07-03 Close