Garashchenko Anton Vital'evich

Publications in Math-Net.Ru

1. The practice and prospects of using open and proprietary software solutions in the verification route of SoC
   
   Proceedings of ISP RAS, 34:5 (2022),  23–42
2. Research and development of the algorithm for generating a test sequence for evaluating the power consumption of an RTL-model of processor
   
   Informatsionnye Tekhnologii i Vychslitel'nye Sistemy, 2020, no. 3,  94–100