From 9c9cb68462525fe124689484131a0be0c56f2d64 Mon Sep 17 00:00:00 2001 From: Megan Wachs Date: Mon, 2 Oct 2017 11:07:55 -0700 Subject: [PATCH] JTAG Coverage: Add reset coverage points --- src/main/scala/jtag/JtagStateMachine.scala | 1 + 1 file changed, 1 insertion(+) diff --git a/src/main/scala/jtag/JtagStateMachine.scala b/src/main/scala/jtag/JtagStateMachine.scala index 34311e95..fd149d2b 100644 --- a/src/main/scala/jtag/JtagStateMachine.scala +++ b/src/main/scala/jtag/JtagStateMachine.scala @@ -147,6 +147,7 @@ class JtagStateMachine(implicit val p: Parameters) extends Module(override_reset JtagState.State.all.foreach { s => cover (currState === s.U && io.tms === true.B, s"${s.toString}_tms_1", "JTAG; ${s.toString} with TMS = 1; State Transition from ${s.toString} with TMS = 1") cover (currState === s.U && io.tms === false.B, s"${s.toString}_tms_0", "JTAG; ${s.toString} with TMS = 0; State Transition from ${s.toString} with TMS = 0") + cover (currState === s.U && jtag_reset === true.B, s"${s.toString}_reset", "JTAG; ${s.toString} with reset; JTAG Reset asserted during ${s.toString") } }