JTAG Coverage: Correct jtag_reset case
This commit is contained in:
		@@ -147,7 +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")
 | 
			
		||||
    cover (currState === s.U && io.jtag_reset === true.B, s"${s.toString}_reset", "JTAG; ${s.toString} with reset; JTAG Reset asserted during ${s.toString")
 | 
			
		||||
  }
 | 
			
		||||
 | 
			
		||||
}
 | 
			
		||||
 
 | 
			
		||||
		Reference in New Issue
	
	Block a user