Author:
Chupilko Mikhail,Kamkin Alexander,Kotsynyak Artem,Tatarnikov Andrei
Publisher
Springer International Publishing
Reference6 articles.
1. Adir, A., Almog, E., Fournier, L., Marcus, E., Rimon, M., Vinov, M., Ziv, A.: Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification. Design & Test of Computers 21(2), 84–93 (2004)
2. RAVEN Test Program Generator.
http://www.slideshare.net/DVClub/introducing-obsidian-software-andravengcs-for-powerpc
3. MicroTESK Page.
http://forge.ispras.ru/projects/microtesk
4. Freericks, M.: The nML Machine Description Formalism. Technical Report TR SM-IMP/DIST/08, TU Berlin CS Department (1993)
5. Tatarnikov, A.: Language for describing templates for test program generation for microprocessors. In: Proceedings of ISP RAS, vol. 28, no. 4, pp. 81–102 (2016)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Technologies to Promise the Quality of Supercomputer Fugaku;IEICE ESS Fundamentals Review;2022-01-01
2. Advanced virtual prototyping for cyber-physical systems using RISC-V: implementation, verification and challenges;Science China Information Sciences;2021-12-23
3. EPEX;Proceedings of the 2021 on Great Lakes Symposium on VLSI;2021-06-22
4. Mutation-based Compliance Testing for RISC-V;Proceedings of the 26th Asia and South Pacific Design Automation Conference;2021-01-18