Runtime verification based on executable models: On-the-fly matching of timed traces M Chupilko, A Kamkin arXiv preprint arXiv:1303.1010, 2013 | 29 | 2013 |
A TLM-based approach to functional verification of hardware components at different abstraction levels M Chupilko, A Kamkin 2011 12th Latin American Test Workshop (LATW), 1-6, 2011 | 23 | 2011 |
Survey of modern technologies of simulation-based verification of hardware AS Kamkin, MM Chupilko Programming and Computer Software 37, 147-152, 2011 | 22 | 2011 |
Extensible environment for test program generation for microprocessors AS Kamkin, TI Sergeeva, SA Smolov, AD Tatarnikov, MM Chupilko Programming and Computer Software 40, 1-9, 2014 | 20 | 2014 |
Tools for functional verification of microprocessors A Kamkin, A Kotsynyak, S Smolov, A Tatarnikov, M Chupilko, A Sortov Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2014 | 14 | 2014 |
MicroTESK: specification-based tool for constructing test program generators M Chupilko, A Kamkin, A Kotsynyak, A Tatarnikov Hardware and Software: Verification and Testing: 13th International Haifa …, 2017 | 13 | 2017 |
Specification-based test program generation for ARM VMSAv8-64 memory management units M Chupilko, A Kamkin, A Kotsynyak, A Protsenko, S Smolov, A Tatarnikov 2015 16th International Workshop on Microprocessor and SOC Test and …, 2015 | 11 | 2015 |
Test program generator microtesk for risc-v M Chupilko, A Kamkin, A Kotsynyak, A Protsenko, S Smolov, A Tatarnikov 2018 19th International Workshop on Microprocessor and SOC Test and …, 2018 | 10 | 2018 |
Specification-driven testbench development for synchronous parallel-pipeline designs M Chupilko, A Kamkin 2009 NORCHIP, 1-4, 2009 | 10 | 2009 |
Methodology and experience of simulation-based verification of microprocessor units based on cycle-accurate contract specifications M Chupilko, A Kamkin, D Vorobyev Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2008 | 9 | 2008 |
Developing cycle-accurate contract specifications for synchronous parallel-pipeline hardware: application to verification M Chupilko, A Kamkin 2010 12th Biennial Baltic Electronics Conference, 185-188, 2010 | 8 | 2010 |
Survey of Open-source Flows for Digital Hardware Design M Chupilko, A Kamkin, S Smolov 2021 Ivannikov Memorial Workshop (IVMEM), 11-16, 2021 | 7 | 2021 |
Testing logic circuits at different abstraction levels: An experimental evaluation S Smolov, J Lopez, N Kushik, N Yevtushenko, M Chupilko, A Kamkin 2016 IEEE East-West Design & Test Symposium (EWDTS), 1-4, 2016 | 7 | 2016 |
Open-source validation suite for risc-v M Chupilko, A Kamkin, A Protsenko 2019 20th International Workshop on Microprocessor/SoC Test, Security and …, 2019 | 6 | 2019 |
Developing test systems for multi-modules hardware designs MM Chupilko Programming and Computer Software 38, 34-42, 2012 | 6 | 2012 |
Constructing test sequences for hardware designs with parallel starting operations using implicit FSM models M Chupilko 2010 East-West Design & Test Symposium (EWDTS), 487-490, 2010 | 3 | 2010 |
Maintaining ISA specifications in MicroTESK test program generator M Chupilko, A Kamkin, A Kotsynyak, A Protsenko, S Smolov, A Tatarnikov 2017 18th International Workshop on Microprocessor and SOC Test and …, 2017 | 1 | 2017 |
Recognition and Explanation of Incorrect Behavior in Simulation-based Hardware Verification M Chupilko, A Protsenko Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2013 | 1 | 2013 |
Contract Specification of Hardware Designs at Different Abstraction Levels: Application to Functional Verification M Chupilko, A Kamkin Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2010 | 1 | 2010 |
High-Level Synthesis versus Hardware Construction A Kamkin, M Chupilko, M Lebedev, S Smolov, G Gaydadjiev 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2023 | | 2023 |