Кур’янов, А. І.2023-09-172023-09-172023Кур’янов А. І. Методи апаратної верифікації hdl-моделей подієвих часових керуючих автоматів на ПШС / А. І. Кур’янов // Радіоелектроніка та молодь у ХХІ столітті : матеріали 27-го Міжнар. молодіж. форуму, 10–12 травня 2023 р. – Харків : ХНУРЕ, 2023. – Т. 5. – С. 45–46.https://openarchive.nure.ua/handle/document/24210The 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).ukConference proceedings