snooping response handling fix

2020-05-12 18:52:24 -04:00
parent 1eda9b34d5
commit b0b38f6c24
7 changed files with 66 additions and 54 deletions
--- a/hw/simulate/simulator.cpp
+++ b/hw/simulate/simulator.cpp
@@ -177,6 +177,7 @@ void Simulator::flush_caches(uint32_t mem_addr, uint32_t size) {
  for (;;) {
    this->step();
    if (vortex_->snp_rsp_valid) {
+      assert(outstanding_snp_reqs > 0);
      --outstanding_snp_reqs;
    }
    if (vortex_->snp_req_valid && vortex_->snp_req_ready) {