Illegal Instruction Handling
ConceptIllegal instruction handling, in the provided RISC-V verification evidence, is treated as a key area for processor and instruction-set-simulator testing. Unrestricted and binary-level fuzzing can generate illegal instructions and irregular trap-heavy control flows that valid-program generators may miss, exposing decoder errors, trap-state problems such as incorrect MTVAL updates, and control-flow bugs involving MRET after illegal instructions.
WIKI
Overview
Illegal instruction handling is a verification concern for both RISC-V instruction set simulators and RTL processor implementations in the provided evidence. The evidence emphasizes that allowing test generators to create illegal instructions helps exercise behavior that valid instruction-stream generators, compilers, or assemblers may avoid. In the ISS fuzzing work, illegal instructions were explicitly useful for thoroughly checking the instruction decoder, and the approach exposed an error in the RISC-V reference simulator Spike. [decoder_stress]
The same ISS evidence argues that coverage-guided fuzzing retains the ability to generate completely random instructions, which helps cover rare corner and error cases that may be masked by a compiler or assembler. It contrasts this with RISC-V Torture, described there as generating only valid instruction sequences and therefore unable to detect some errors found by the fuzzer. [random_illegal_value]
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →