Files
tatu/sim/tests/SfenceTest.scala
2026-06-29 07:00:55 +00:00

5 lines
204 B
Scala

// Verilator scenario checklist:
// 1. sfence.vma in U-mode raises illegal instruction.
// 2. sfence.vma in S/M-mode flushes DTLB state.
// 3. fence.i invalidates ICache and flushes younger instructions.