Author:
Chupilko Mikhail,Kamkin Alexander,Kotsynyak Artem,Protsenko Alexander,Smolov Sergey,Tatarnikov Andrei
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Open-Source Validation Suite for RISC-V;2019 20th International Workshop on Microprocessor/SoC Test, Security and Verification (MTV);2019-12
2. MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors;Lecture Notes in Computer Science;2018
3. Semi-formal Verification with Supporting Tool by Automatic Application of Hoare Logic;Communications in Computer and Information Science;2018
4. Maintaining ISA Specifications in MicroTESK Test Program Generator;2017 18th International Workshop on Microprocessor and SOC Test and Verification (MTV);2017-12
5. MicroTESK: Specification-Based Tool for Constructing Test Program Generators;Hardware and Software: Verification and Testing;2017