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):