interrupt handling
ConceptInterrupt handling appears in the provided evidence as both generated RISC-V trap-handler code and as a verification concern for asynchronous external stimuli. In riscv-dv, interrupt and exception handling are generated as assembly-program sections, including an mtvec_handler section with interrupt_handler and exception_handler definitions. In co-simulation, interrupts require explicit messaging because asynchronous events can make standalone trace comparison diverge; Dromajo supports this through mechanisms such as raise_interrupt(), which communicates the interrupt cause and sets the trap vector.
WIKI
Overview
In the provided RISC-V verification evidence, interrupt handling is a trap-related part of generated assembly programs and a special case for reference-model co-simulation. The riscv-dv riscv_asm_program_gen class generates multiple assembly-program sections, including initialization, instruction, data, stack, page-table, interrupt-handling, and exception-handling sections.
Interrupt handling in generated RISC-V assembly
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →