|
|
|
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. |
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
|
|
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
|
|
2015 |
| 6. |
S. A. Smolov, A. S. Kamkin, “A method of extended finite state machines construction from HDL descriptions based on static analysis of source code”, St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2015, no. 1(212), 60–73 |
3
|
| 7. |
I. Melnichenko, A. Kamkin, S. Smolov, “An extended finite state machine-based approach to code coverage-directed test generation for hardware designs”, Proceedings of ISP RAS, 27:3 (2015), 161–182 |
2
|
| 8. |
S. A. Smolov, “A survey of methods for model extraction from HDL descriptions”, Proceedings of ISP RAS, 27:1 (2015), 97–124 |
1
|
|
| Organisations |
|
| |
|
|
Contact us: