|
|
|
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. |
N. D. Chertok, M. M. Chupilko, “Survey of methods for functional online testing of microprocessors”, Proceedings of ISP RAS, 33:6 (2021), 131–148 |
| 3. |
A. S. Kamkin, S. A. Smolov, M. M. Chupilko, “Comparison of open flows for digital hardware development: qflow, openlane, coriolis, and symbiflow”, Proceedings of ISP RAS, 33:6 (2021), 111–130 |
1
|
|
2018 |
| 4. |
M. M. Chupilko, E. A. Drozdova, “Simulation-based verification of system-on-chip bus controllers”, Proceedings of ISP RAS, 30:4 (2018), 129–138  |
|
2017 |
| 5. |
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 |
| 6. |
A. S. Kamkin, A. M. Kotsynyak, A. S. Protsenko, A. D. Tatarnikov, M. M. Chupilko, “MicroTESK-based test program generator for the ARMv8 architecture”, Proceedings of ISP RAS, 28:6 (2016), 87–102 |
|
2014 |
| 7. |
V. P. Ivannikov, A. S. Kamkin, M. M. Chupilko, “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 |
|
| Organisations |
|
| |
|
|
Contact us: