Методи апаратної верифікації hdl-моделей подієвих часових керуючих автоматів на ПШС

Кур’янов, А. І.

Публікація:
Методи апаратної верифікації hdl-моделей подієвих часових керуючих автоматів на ПШС

dc.contributor.author	Кур’янов, А. І.
dc.date.accessioned	2023-09-17T17:51:54Z
dc.date.available	2023-09-17T17:51:54Z
dc.date.issued	2023
dc.description.abstract	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).
dc.identifier.citation	Кур’янов А. І. Методи апаратної верифікації hdl-моделей подієвих часових керуючих автоматів на ПШС / А. І. Кур’янов // Радіоелектроніка та молодь у ХХІ столітті : матеріали 27-го Міжнар. молодіж. форуму, 10–12 травня 2023 р. – Харків : ХНУРЕ, 2023. – Т. 5. – С. 45–46.
dc.identifier.uri	https://openarchive.nure.ua/handle/document/24210
dc.language.iso	uk
dc.publisher	ХНУРЕ
dc.title	Методи апаратної верифікації hdl-моделей подієвих часових керуючих автоматів на ПШС
dc.type	Conference proceedings
dspace.entity.type	Publication