Skip to content

Commit

Permalink
[ipemu] filter 64-bit width instructions in t1 emu coverage flow
Browse files Browse the repository at this point in the history
  • Loading branch information
Clo91eaf committed Oct 14, 2024
1 parent 8820af1 commit 077f3d4
Showing 1 changed file with 24 additions and 1 deletion.
25 changes: 24 additions & 1 deletion t1emu/src/TestBench.scala
Original file line number Diff line number Diff line change
Expand Up @@ -285,7 +285,30 @@ class TestBench(generator: SerializableModuleGenerator[T1, T1Parameter])
scoreboard.bits := 0.U
}
}
generator.parameter.decoderParam.allInstructions.map { instruction: Instruction =>
// coverage
// unsupported 64-bit instructions for 32-bit xlen
val unsupportedInstF = Seq(
// format: off
"vfwadd.vf", "vfwadd.vv", "vfwadd.wf", "vfwadd.wv",
"vfwcvt.f.f.v", "vfwcvt.f.x.v", "vfwcvt.f.xu.v", "vfwcvt.rtz.x.f.v", "vfwcvt.rtz.xu.f.v", "vfwcvt.x.f.v", "vfwcvt.xu.f.v",
"vfwmacc.vf", "vfwmacc.vv", "vfwmsac.vf", "vfwmsac.vv",
"vfwmul.vf", "vfwmul.vv", "vfwnmacc.vf", "vfwnmacc.vv",
"vfwnmsac.vf", "vfwnmsac.vv", "vfwredosum.vs", "vfwredusum.vs",
"vfwsub.vf", "vfwsub.vv", "vfwsub.wf", "vfwsub.wv",
// format: on
)
val unsupportedInst = Seq(
// format: off
"vfncvt.f.f.w", "vfncvt.f.x.w", "vfncvt.f.xu.w", "vfncvt.rod.f.f.w", "vfncvt.rtz.x.f.w", "vfncvt.rtz.xu.f.w", "vfncvt.x.f.w", "vfncvt.xu.f.w",
"vfslide1up.vf", "vfslide1down.vf",
"vl1re64.v", "vl2re64.v", "vl4re64.v", "vl8re64.v",
"vle64.v", "vle64ff.v", "vloxei64.v", "vlse64.v", "vluxei64.v",
"vmfle.vf", "vmfle.vv", "vse64.v", "vsext.vf8", "vsoxei64.v", "vsse64.v", "vsuxei64.v", "vzext.vf8"
// format: on
) ++ unsupportedInstF
generator.parameter.decoderParam.allInstructions.filter { instruction: Instruction =>
!(unsupportedInst.contains(instruction.name) && generator.parameter.xLen == 32)
}.map { instruction: Instruction =>
val issueMatch = Sequence.BoolSequence(issue.instruction === BitPat("b" + instruction.encoding.toString))
CoverProperty(issueMatch, label = Some(s"t1_cover_issue_${instruction.name}"))
}
Expand Down

0 comments on commit 077f3d4

Please sign in to comment.