From c90e8fc4968dc3c810148a1c318fd61f40bcdc16 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jean-Fran=C3=A7ois=20Nguyen?= Date: Wed, 31 May 2023 16:23:45 +0200 Subject: [PATCH] check.storage: allow interrupts during instruction fetches. --- power_fv/check/storage.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/power_fv/check/storage.py b/power_fv/check/storage.py index 0f469a5..b1eef1f 100644 --- a/power_fv/check/storage.py +++ b/power_fv/check/storage.py @@ -57,10 +57,10 @@ class InsnStorageTestbench(Elaboratable, metaclass=ABCMeta): prefixed.eq(insn_po == 1), ] - with m.If(dut.pfv.stb & ~dut.pfv.intr): + with m.If(dut.pfv.stb): with m.If(dut.pfv.cia == storage.addr): m.d.comb += Assert(dut.pfv.insn[32:] == storage.data) - with m.If(prefixed & (dut.pfv.cia + 4 == storage.addr)): + with m.If(prefixed & (dut.pfv.cia + 4 == storage.addr) & ~dut.pfv.intr): m.d.comb += Assert(dut.pfv.insn[:32] == storage.data) return m