Models of Testable Timed Moore Finite State Machines
M Miroshnyk, K Pshenychnyi… - Bulletin of VN …, 2023 - periodicals.karazin.ua
The work proposes a method of designing testable digital devices in real time, presented in
the form of finite state machines and described using hardware description languages …
the form of finite state machines and described using hardware description languages …
Методи апаратно-програмної верифікації моделей керуючих автоматів в системах на кристалі
АІ Кур'янов - 2023 - openarchive.nure.ua
Анотація В кваліфікаційній роботі розглянуті питання побудови системи
самодіагностики кіберфізичної системи логічного управління, реалізованої на …
самодіагностики кіберфізичної системи логічного управління, реалізованої на …