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 |
An approach to test program generation based on formal specifications of caching and address translation mechanisms A Kamkin, A Protsenko, A Tatarnikov Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2015 | 10 | 2015 |
Language for describing templates for test program generation for microprocessors AD Tatarnikov Труды Института системного программирования РАН 28 (4), 77-98, 2016 | 9 | 2016 |
MicroTESK: An ADL-Based Reconfigurable Test Program Generator for Microprocessors. Spring/Summer Young Researchers' Colloquium on Software Engineering, 2012 A Kamkin, A Tatarnikov DOI 10, 64-69, 2016 | 6 | 2016 |
MicroTESK: An Extendable Framework for Test Program Generation A Kamkin, T Sergeeva, A Tatarnikov, A Utekhin Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2013 | 3 | 2013 |
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 |
A survey of methods and tools for test program generation for microprocessors AD Tatarnikov Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2017 | 1 | 2017 |
An approach to instruction stream generation for functional verification of microprocessor designs A Tatarnikov 2016 IEEE East-West Design & Test Symposium (EWDTS), 1-4, 2016 | 1 | 2016 |
A generic knowledgebase for test generation A Kotsynyak, A Tatarnikov Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2014 | 1 | 2014 |
PROCEEDINGS-2018 19TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR AND SOC TEST, SECURITY AND VERIFICATION, MTV 2018 M Chupilko, A Kamkin, A Kotsynyak, A Protsenko, S Smolov, A Tatarnikov | | 2018 |
MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors A Kamkin, A Tatarnikov Perspectives of System Informatics: 11th International Andrei P. Ershov …, 2018 | | 2018 |
PROCEEDINGS-2017 18TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR AND SOC TEST, SECURITY AND VERIFICATION, MTV 2017 M Chupilko, A Kamkin, A Kotsynyak, A Protsenko, S Smolov, A Tatarnikov | | 2017 |
Combinatorial Test Program Generation for Microprocessors Based on Formal Specifications of Instruction Set Architecture AD Tatarnikov Проблемы разработки перспективных микро-и наноэлектронных систем (МЭС), 10-15, 2017 | | 2017 |
MicroTESK-based test program generator for the ARMv8 architecture AS Kamkin, AM Kotsynyak, AS Protsenko, AD Tatarnikov, MM Chupilko Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2016 | | 2016 |
AUTOMATED CONSTRUCTION OF TEST PROGRAM GENERATORS FOR MICROPROCESSORS BASED ON FORMAL SPECIFICATIONS AD Tatarnikov Новые информационные технологии в исследовании сложных структур, 41-42, 2016 | | 2016 |
PROCEEDINGS-2015 16TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR AND SOC TEST AND VERIFICATION, MTV 2015 M Chupilko, A Kamkin, A Kotsynyak, A Protsenko, S Smolov, A Tatarnikov | | 2015 |