Публікація: Методи апаратної верифікації hdl-моделей подієвих часових керуючих автоматів на ПШС
Завантаження...
Дата
2023
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХНУРЕ
Анотація
The real-time control system is a system, in the result of which the deposits are not only logical values of simple key functions but are seen by stretching such a wire. Implementation of the model using a timed FSM. The formation of output signals of control machines is classified according to the model of Moore and Mile. The work of software and hardware verification of models of automatic control devices at different levels of automated design (algorithmic, functionalblock, schematic and simulation of the design-technological level).
Опис
Ключові слова
Бібліографічний опис
Кур’янов А. І. Методи апаратної верифікації hdl-моделей подієвих часових керуючих автоматів на ПШС / А. І. Кур’янов // Радіоелектроніка та молодь у ХХІ столітті : матеріали 27-го Міжнар. молодіж. форуму, 10–12 травня 2023 р. – Харків : ХНУРЕ, 2023. – Т. 5. – С. 45–46.