Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Maryna Miroshnyk"'
Publikováno v:
Сучасний стан наукових досліджень та технологій в промисловості, Iss 3 (25) (2023)
Предметом дослідження є кубітно-векторні моделі опису комбінаційних схем і процедури дедуктивного моделювання несправностей на основ
Externí odkaz:
https://doaj.org/article/ac85623774994b5daa33d69731b7b7e7
Autor:
Dariia Rakhlis, Maryna Miroshnyk, Inna Filippenko, Anatolii Miroshnyk, Elvira Kulak, Alexander Shkil
Publikováno v:
DESSERT
The work is dedicated to verification of automatic logic control systems by analyzing the correctness of state diagrams of control finite state machines which are represented in the form of the code in the hardware description language. As a method f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2fdcab5fc8035ebd98e86c94fb9f80cf
https://doi.org/10.1109/dessert50317.2020.9125067
https://doi.org/10.1109/dessert50317.2020.9125067
Autor:
Maryna Miroshnyk, Elvira Kulak, Olexander Shkil, Inna Filippenko, Anatolii Miroshnyk, Dariia Rakhlis
Publikováno v:
2020 IEEE 15th International Conference on Advanced Trends in Radioelectronics, Telecommunications and Computer Engineering (TCSET).
The aim of the work is to analyze hardware costs of ensuring the testability of finite state machines with various options for organizing an additional transition between FSM’s states depending on the presence of an unconditional transition, a cond
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e4c1ba320574cb9975939baab97e337c
https://doi.org/10.1109/tcset49122.2020.235377
https://doi.org/10.1109/tcset49122.2020.235377
Autor:
Maryna Miroshnyk, Vladyslav Sergienko, Mykyta Malakhov, Maksym Hoha, Elvira Kulak, Olexander Shkil, Dariia Rakhlis, Inna Filippenko
Publikováno v:
EWDTS
Problems of real-time hardware logic control systems design on the FPGA are considered. The control algorithm is implemented based on a timed FSM model, represented by a temporal state diagram. The design of the control device model using hardware de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6821465c9071e0e13033df32ad90dbc5
https://doi.org/10.1109/ewdts.2019.8884387
https://doi.org/10.1109/ewdts.2019.8884387
Autor:
Olexander Shkil, Yurii Pahomov, Elvira Kulak, Anatolii Miroshnyk, Dariia Rakhlis, Maryna Miroshnyk
Publikováno v:
2019 International Conference on Information and Telecommunication Technologies and Radio Electronics (UkrMiCo).
The method of detection and localization of design errors in HDL-models of finite state machines with arbitrary output functions was proposed. The diagnostic experiment is carried out bypassing all arcs of the Mealy machine, starting from the initial
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f8da79356c6ab8923bec92968deed9a6
https://doi.org/10.1109/ukrmico47782.2019.9165509
https://doi.org/10.1109/ukrmico47782.2019.9165509