diff options
author | Steve Kerrison <git@stevekerrison.com> | 2016-05-31 19:44:42 +0100 |
---|---|---|
committer | Steve Kerrison <git@stevekerrison.com> | 2016-05-31 19:54:16 +0100 |
commit | 38d51a33839f1c7407e42bb51a6104a8bad88aec (patch) | |
tree | 07bd3ffa72e5c1f7e57bee36d474e5329b8d2bbd | |
parent | d72b25993c4e582dcfb124f2d99a037cd76ad34c (diff) | |
download | picorv32-38d51a33839f1c7407e42bb51a6104a8bad88aec.tar.gz picorv32-38d51a33839f1c7407e42bb51a6104a8bad88aec.zip |
Deassert pcpi_valid upon asserting sbreak IRQ
This fixes #8
-rw-r--r-- | picorv32.v | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1270,6 +1270,7 @@ module picorv32 #( cpu_state <= cpu_state_fetch; end else if (CATCH_ILLINSN && pcpi_timeout) begin + pcpi_valid <= 0; `debug($display("SBREAK OR UNSUPPORTED INSN AT 0x%08x", reg_pc);) if (ENABLE_IRQ && !irq_mask[irq_sbreak] && !irq_active) begin next_irq_pending[irq_sbreak] = 1; @@ -1419,6 +1420,7 @@ module picorv32 #( cpu_state <= cpu_state_fetch; end else if (CATCH_ILLINSN && pcpi_timeout) begin + pcpi_valid <= 0; `debug($display("SBREAK OR UNSUPPORTED INSN AT 0x%08x", reg_pc);) if (ENABLE_IRQ && !irq_mask[irq_sbreak] && !irq_active) begin next_irq_pending[irq_sbreak] = 1; |