Test Program Generator MicroTESK for RISC-V
| Autor: | Mikhail Chupilko, Alexander Protsenko, Sergey Smolov, Andrei Tatarnikov, Artem Kotsynyak, Alexander Kamkin |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
060201 languages & linguistics
Functional verification Generator (computer programming) Syntax (programming languages) Test data generation Semantics (computer science) Computer science Programming language 06 humanities and the arts 02 engineering and technology computer.software_genre Test (assessment) Formal specification 0602 languages and literature RISC-V 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Hardware_CONTROLSTRUCTURESANDMICROPROGRAMMING computer |
| Zdroj: | MTV |
| DOI: | 10.1109/mtv.2018.00011 |
| Popis: | The paper presents a test program generator for functional verification of RISC-V microprocessors. The generator is implemented on the base of MicroTESK framework and consists of formal specifications of RISC-V ISA and ISA-independent core. The specifications describe instructions' syntax and semantics and can be easily modified to support more instructions (including custom extensions). The core implements techniques of instruction sequences composition and test data generation. Test programs are generated from test templates, describing the programs' structural and behavioral properties; among generation techniques, random, combinatorial, and constraint-based ones are supported. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|