|
|
|
Publications in Math-Net.Ru |
Citations |
|
2022 |
| 1. |
A. S. Kamkin, M. M. Chupilko, M. S. Lebedev, S. A. Smolov, G. Gaydadjiev, “Comparison of high-level synthesis and hardware construction tools”, Proceedings of ISP RAS, 34:5 (2022), 7–22  |
4
|
|
2021 |
| 2. |
M. S. Lebedev, P. N. Belecky, “Artificial neural network inference on fpgas using open-source tools”, Proceedings of ISP RAS, 33:6 (2021), 175–192 |
|
2019 |
| 3. |
A. S. Kamkin, M. S. Lebedev, S. A. Smolov, “Extracting assertions for conflicts in HDL descriptions”, Proceedings of ISP RAS, 31:3 (2019), 135–144  |
2
|
|
2017 |
| 4. |
M. M. Chupilko, A. S. Kamkin, M. S. Lebedev, S. A. Smolov, “Test generation for digital hardware based on high-level models”, Proceedings of ISP RAS, 29:4 (2017), 247–256 |
|
2016 |
| 5. |
M. S. Lebedev, S. A. Smolov, “A model checking-based method of functional test generation for HDL descriptions”, Proceedings of ISP RAS, 28:4 (2016), 41–56 |
1
|
|
| Organisations |
|
|
Contact us: