hit = (way.tag == self.s2_addr.tag) & way.valid
m.d.comb += way_hit.i[j].eq(hit)
+ rdata = ways[way_hit.o].data.word_select(self.s2_addr.offset, 32)
m.d.comb += [
- rdata = ways[way_hit.o].data.word_select(self.s2_addr.offset, 32)
self.s2_miss.eq(way_hit.n),
self.s2_rdata.eq(rdata)
]
-from nmigen import *
+from nmigen import Elaboratable, Module, Signal, Record
from nmigen.utils import log2_int
-from nmutil.formaltest import *
-from nmigen.asserts import *
+from nmutil.formaltest import FHDLTestCase
+from nmigen.asserts import AnyConst, AnySeq, Assert, Assume, Past, Initial
-from ..cache import L1Cache
+from soc.minerva.cache import L1Cache
class L1CacheSpec(Elaboratable):