Anatolii Miroshnyk

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 4

Top Topics

Design Principles

Ambient Intelligent

Top Venues

Publications

Maryna Miroshnyk, Inna Filippenko, Valentyn Korniienko, Alexander Shkil, Anatolii Miroshnyk
Overview of the modern SoC design technologies and open softprocessor architectures. DESSERT (2023)
Vladimir Hahanov, Ivan Hahanov, Anatolii Miroshnyk, Aleksander Shkil, Dariia Rakhlis, Irina V. Hahanova
Modeling Faults as Addresses. EWDTS (2023)
Alexander Shkil, Anatolii Miroshnyk, Georgiy Kulak, Kyrylo Pshenychnyi
Assertion Based Design of Timed Finite State Machine. EWDTS (2021)
Maryna Miroshnyk, Alexander Shkil, Elvira Kulak, Dariia Rakhlis, Inna Filippenko, Anatolii Miroshnyk
Verification of FPGA control systems by analyzing the correctness of state diagrams. DESSERT (2020)