Anatolii Miroshnyk

According to our database, Anatolii Miroshnyk authored at least 4 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Modeling Faults as Addresses.

Vladimir Hahanov, Ivan Hahanov, Anatolii Miroshnyk, Aleksander Shkil, Dariia Rakhlis, Irina V. Hahanova

Proceedings of the IEEE East-West Design & Test Symposium, 2023

Overview of the modern SoC design technologies and open softprocessor architectures.

Maryna Miroshnyk, Inna Filippenko, Valentyn Korniienko, Alexander Shkil, Anatolii Miroshnyk

Proceedings of the 13th International Conference on Dependable Systems, 2023

2021

Assertion Based Design of Timed Finite State Machine.

Alexander Shkil, Anatolii Miroshnyk, Georgiy Kulak, Kyrylo Pshenychnyi

Proceedings of the IEEE East-West Design & Test Symposium, 2021

2020

Verification of FPGA control systems by analyzing the correctness of state diagrams.

Maryna Miroshnyk, Alexander Shkil, Elvira Kulak, Dariia Rakhlis, Inna Filippenko, Anatolii Miroshnyk

Proceedings of the 11th IEEE International Conference on Dependable Systems, 2020