Project

General

Profile

MicroTESK-Related Publications » History » Revision 33

Revision 32 (Mikhail Chupilko, 11/07/2019 03:59 PM) → Revision 33/34 (Mikhail Chupilko, 11/07/2019 04:15 PM)

h1. MicroTESK-Related Publications 

 {{toc}} 

 h2. 2019 

 * M. Chupilko, A. Kamkin, A. Protsenko. "_Open Source Solution for RISC-V Verification_":https://dvcon-europe.org/ Verification_" Proceedings of the Design and Verification Conference in Europe (DVCon Europe), 2019. 

 h2. 2018 

 * M. Chupilko, A. Kamkin, A. Kotsynyak, A. Protsenko, S. Smolov, A. Tatarnikov. "_Test Program Generator MicroTESK for RISC-V_.":https://ieeexplore.ieee.org/document/8746054/ Proceedings of the 19th International Workshop on Microprocessor and SOC Test and Verification (MTV), 2018. 

 * M. Chupilko, A. Kamkin, A. Kotsynyak, A. Protsenko, S. Smolov, A. Tatarnikov. "_MicroTESK: Automated Architecture Validation Suite Generator for Microprocessors_":http://events.dvcon.org/Europe/2018/proceedings/papers/06_3.pdf Proceedings of the Design and Verification Conference in Europe (DVCon Europe), 2018. 

 h2. 2017 

 * M. Chupilko, A. Kamkin, A. Kotsynyak, A. Protsenko, S. Smolov, A. Tatarnikov. "_Maintaining ISA Specifications in MicroTESK Test Program Generator_.":https://ieeexplore.ieee.org/document/8396942/ Proceedings of the 18th International Workshop on Microprocessor and SOC Test and Verification (MTV), 2017. 

 * A. Kamkin, A. Tatarnikov. "_MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors_.":https://link.springer.com/chapter/10.1007%2F978-3-319-74313-4_28 Perspectives of System Informatics - 11th International Andrei Ershov Informatics Conference, PSI 2017. P. 387-393. 

 * M. Chupilko, A. Kamkin, A. Kotsynyak, A. Tatarnikov. "_MicroTESK: Specification-Based Tool for Constructing Test Program Generators._":https://link.springer.com/chapter/10.1007%2F978-3-319-70389-3_15 Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017. P. 217-220. 

 h2. 2016 

 * A. Tatarnikov. "_An approach to instruction stream generation for functional verification of microprocessor designs_.":http://ieeexplore.ieee.org/document/7807721/ Proceedings of East-West Design & Test Symposium (EWDTS), 2016. 

 * A. Tatarnikov. "_Language for Describing Templates for Test Program Generation for Microprocessors_.":https://www.researchgate.net/profile/Andrei_Tatarnikov/publication/309294796_Language_for_Describing_Templates_for_Test_Program_Generation_for_Microprocessors/links/59196261a6fdcc963e86b0cd/Language-for-Describing-Templates-for-Test-Program-Generation-for-Microprocessors.pdf Proceedings of the Institute for System Programming. 2016. Vol. 28. No. 4. P. 77-98. 

 h2. 2015 

 * M. Chupilko, A. Kamkin, A. Kotsynyak, A. Protsenko, S. Smolov, A. Tatarnikov. "_Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units_.":http://ieeexplore.ieee.org/document/7548929/ Proceedings of the 16th International Workshop on Microprocessor Test and Verification, 2015. "Slides":http://www.slideshare.net/AlexanderKamkin/specificationbased-test-program-generation-for-arm-vmsav864-mmus 


 * A. Kamkin, A. Protsenko, A. Tatarnikov. "_An Approach to Test Program Generation Based on Formal Specifications of Caching and Address Translation Mechanisms_.":http://ispras.ru/proceedings/docs/2015/27/3/isp_27_2015_3_125.pdf Proceedings of the Institute for System Programming Volume 27 (Issue 3). 2015 y. pp. 125-138. 

 h2. 2014 

 * A. Kamkin, T. Sergeeva, S. Smolov, A. Tatarnikov, M. Chupilko. "_Extensible Environment for Test Program Generation for Microprocessors_.":http://link.springer.com/article/10.1134%2FS0361768814010046 Programming and Computer Software. January 2014, Volume 40, Issue 1, P. 1-9. 

 h2. 2013 

 * A. Kamkin, T. Sergeeva, A. Tatarnikov, A. Utekhin. "_MicroTESK: An Extendable Framework for Test Program Generation_.":http://syrcose.ispras.ru/2013/files/submissions/08_syrcose2013.pdf Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE), 2013. P. 51-57.  

 * A. Tatarnikov. "_Architecture Model Based Microprocessor Test Generation Tool_.":http://www.hse.ru/data/2013/05/28/1284900629/thesis.pdf Master’s Degree Thesis, National Research University "Higher School of Economics", School of Software Engineering, Moscow, Russian Federation, June 2013.  

 h2. 2012 

 * A. Kamkin, A. Tatarnikov. "_MicroTESK: An ADL-Based Reconfigurable Test Program Generator for Microprocessors_.":http://syrcose.ispras.ru/2012/files/submissions/08_syrcose2012_submission_25.pdf Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE), 2012. P. 64-69. 

 h2. 2011 

 * A. Kamkin, E. Kornykhin, D. Vorobyev. "_Reconfigurable Model-Based Test Program Generator for Microprocessors_.":http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5954389 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2011. P. 47-54.