Lebedev Mikhail Sergeevitch

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. Artificial neural network inference on fpgas using open-source tools
   
   Proceedings of ISP RAS, 33:6 (2021),  175–192
3. Extracting assertions for conflicts in HDL descriptions
   
   Proceedings of ISP RAS, 31:3 (2019),  135–144
4. Test generation for digital hardware based on high-level models
   
   Proceedings of ISP RAS, 29:4 (2017),  247–256
5. A model checking-based method of functional test generation for HDL descriptions
   
   Proceedings of ISP RAS, 28:4 (2016),  41–56