Chupilko M M

Publications in Math-Net.Ru

1. Comparison of high-level synthesis and hardware construction tools
   
   Proceedings of ISP RAS, 34:5 (2022),  7–22
2. Survey of methods for functional online testing of microprocessors
   
   Proceedings of ISP RAS, 33:6 (2021),  131–148
3. Comparison of open flows for digital hardware development: qflow, openlane, coriolis, and symbiflow
   
   Proceedings of ISP RAS, 33:6 (2021),  111–130
4. Simulation-based verification of system-on-chip bus controllers
   
   Proceedings of ISP RAS, 30:4 (2018),  129–138
5. Test generation for digital hardware based on high-level models
   
   Proceedings of ISP RAS, 29:4 (2017),  247–256
6. MicroTESK-based test program generator for the ARMv8 architecture
   
   Proceedings of ISP RAS, 28:6 (2016),  87–102
7. Verifying correctness of hdl-model behavior on the basis of dynamical trace matching
   
   St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2014, no. 2(193),  130–142