An approach to instruction stream generation for functional verification of microprocessor designs
| Autor: | Andrei Tatarnikov |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
High-level verification
Functional verification Programming language Computer science Test data generation 020207 software engineering 02 engineering and technology computer.software_genre law.invention Instruction set Set (abstract data type) Microprocessor law Formal specification 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Verification computer |
| Zdroj: | EWDTS |
| DOI: | 10.1109/ewdts.2016.7807721 |
| Popis: | The paper proposes an approach to instruction stream generation for verification of microprocessor designs. The approach is based on using formal specifications of the instruction set architecture as a source of knowledge about the design under verification. This knowledge is processed with generic engines implementing an extensible set of generation strategies to produce stimuli in the form of instruction sequences. Generation tasks are formulated using high-level descriptions that specify target instructions and strategies of sequence construction and data generation. This provides a flexible way to generate deterministic, random and constraint-based stimuli for verification of arbitrary architectures with minimum effort. The proposed approach has been successfully applied in industrial projects for verification of ARMv8 and MIPS64 microprocessor designs. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|