1
0
rocket-chip/src/main/scala/rocket/icache.scala

159 lines
5.5 KiB
Scala
Raw Normal View History

package rocket
2012-10-08 05:15:54 +02:00
import Chisel._
import uncore.agents._
import uncore.tilelink._
import uncore.util._
import util._
import Chisel.ImplicitConversions._
2015-10-22 03:18:32 +02:00
import cde.{Parameters, Field}
2015-10-06 06:48:05 +02:00
trait HasL1CacheParameters extends HasCacheParameters with HasCoreParameters {
2015-10-14 08:42:53 +02:00
val outerDataBeats = p(TLKey(p(TLId))).dataBeats
val outerDataBits = p(TLKey(p(TLId))).dataBitsPerBeat
2015-03-01 02:00:05 +01:00
val refillCyclesPerBeat = outerDataBits/rowBits
2014-12-17 23:28:05 +01:00
val refillCycles = refillCyclesPerBeat*outerDataBeats
2014-09-01 22:28:58 +02:00
}
class ICacheReq(implicit p: Parameters) extends CoreBundle()(p) with HasL1CacheParameters {
val addr = UInt(width = vaddrBits)
2013-08-12 19:39:11 +02:00
}
2015-10-06 06:48:05 +02:00
class ICacheResp(implicit p: Parameters) extends CoreBundle()(p) with HasL1CacheParameters {
2014-09-01 22:28:58 +02:00
val data = Bits(width = coreInstBits)
val datablock = Bits(width = rowBits)
2013-08-12 19:39:11 +02:00
}
class ICache(latency: Int)(implicit p: Parameters) extends CoreModule()(p) with HasL1CacheParameters {
2012-10-10 06:35:03 +02:00
val io = new Bundle {
2013-08-12 19:39:11 +02:00
val req = Valid(new ICacheReq).flip
val s1_ppn = UInt(INPUT, ppnBits) // delayed one cycle w.r.t. req
val s1_kill = Bool(INPUT) // delayed one cycle w.r.t. req
val s2_kill = Bool(INPUT) // delayed two cycles; prevents I$ miss emission
2013-08-12 19:39:11 +02:00
val resp = Decoupled(new ICacheResp)
val invalidate = Bool(INPUT)
val mem = new ClientUncachedTileLinkIO
2012-01-25 00:13:49 +01:00
}
require(isPow2(nSets) && isPow2(nWays))
2014-09-01 22:28:58 +02:00
require(isPow2(coreInstBytes))
require(!usingVM || pgIdxBits >= untagBits)
2012-01-25 00:13:49 +01:00
2013-09-10 19:51:35 +02:00
val s_ready :: s_request :: s_refill_wait :: s_refill :: Nil = Enum(UInt(), 4)
2013-08-16 00:28:15 +02:00
val state = Reg(init=s_ready)
2013-08-12 19:39:11 +02:00
val invalidated = Reg(Bool())
2012-10-10 06:35:03 +02:00
val stall = !io.resp.ready
2015-07-16 05:24:18 +02:00
val rdy = Wire(Bool())
2012-10-10 06:35:03 +02:00
val refill_addr = Reg(UInt(width = paddrBits))
val s1_any_tag_hit = Wire(Bool())
2013-08-16 00:28:15 +02:00
val s1_valid = Reg(init=Bool(false))
val s1_vaddr = Reg(UInt())
val s1_paddr = Cat(io.s1_ppn, s1_vaddr(pgIdxBits-1,0))
val s1_tag = s1_paddr(tagBits+untagBits-1,untagBits)
2012-10-10 06:35:03 +02:00
val s0_valid = io.req.valid || s1_valid && stall
val s0_vaddr = Mux(s1_valid && stall, s1_vaddr, io.req.bits.addr)
2012-10-10 06:35:03 +02:00
s1_valid := io.req.valid && rdy || s1_valid && stall && !io.s1_kill
2012-10-10 06:35:03 +02:00
when (io.req.valid && rdy) {
s1_vaddr := io.req.bits.addr
2011-11-05 04:52:21 +01:00
}
2012-10-10 06:35:03 +02:00
val out_valid = s1_valid && !io.s1_kill && state === s_ready
val s1_idx = s1_vaddr(untagBits-1,blockOffBits)
val s1_hit = out_valid && s1_any_tag_hit
val s1_miss = out_valid && !s1_any_tag_hit
rdy := state === s_ready && !s1_miss
2012-10-10 06:35:03 +02:00
when (s1_miss && state === s_ready) {
refill_addr := s1_paddr
}
val refill_tag = refill_addr(tagBits+untagBits-1,untagBits)
2012-10-10 06:35:03 +02:00
2015-03-27 07:26:03 +01:00
val narrow_grant = FlowThroughSerializer(io.mem.grant, refillCyclesPerBeat)
val (refill_cnt, refill_wrap) = Counter(narrow_grant.fire(), refillCycles)
2014-12-07 12:09:54 +01:00
val refill_done = state === s_refill && refill_wrap
2015-03-27 07:26:03 +01:00
narrow_grant.ready := Bool(true)
2012-10-10 06:35:03 +02:00
val repl_way = if (isDM) UInt(0) else LFSR16(s1_miss)(log2Up(nWays)-1,0)
val entagbits = code.width(tagBits)
val tag_array = SeqMem(nSets, Vec(nWays, Bits(width = entagbits)))
val tag_rdata = tag_array.read(s0_vaddr(untagBits-1,blockOffBits), !refill_done && s0_valid)
2012-10-10 06:35:03 +02:00
when (refill_done) {
val tag = code.encode(refill_tag)
tag_array.write(s1_idx, Vec.fill(nWays)(tag), Vec.tabulate(nWays)(repl_way === _))
}
val vb_array = Reg(init=Bits(0, nSets*nWays))
2012-10-10 06:35:03 +02:00
when (refill_done && !invalidated) {
vb_array := vb_array.bitSet(Cat(repl_way, s1_idx), Bool(true))
2012-10-10 06:35:03 +02:00
}
when (io.invalidate) {
vb_array := Bits(0)
2012-10-10 06:35:03 +02:00
invalidated := Bool(true)
}
val s1_disparity = Wire(Vec(nWays, Bool()))
for (i <- 0 until nWays)
when (s1_valid && s1_disparity(i)) { vb_array := vb_array.bitSet(Cat(UInt(i), s1_idx), Bool(false)) }
2012-10-10 06:35:03 +02:00
val s1_tag_match = Wire(Vec(nWays, Bool()))
val s1_tag_hit = Wire(Vec(nWays, Bool()))
val s1_dout = Wire(Vec(nWays, Bits(width = rowBits)))
2012-11-25 07:00:43 +01:00
for (i <- 0 until nWays) {
val s1_vb = !io.invalidate && vb_array(Cat(UInt(i), s1_vaddr(untagBits-1,blockOffBits))).toBool
2015-09-12 00:43:07 +02:00
val tag_out = tag_rdata(i)
val s1_tag_disparity = code.decode(tag_out).error
s1_tag_match(i) := tag_out(tagBits-1,0) === s1_tag
s1_tag_hit(i) := s1_vb && s1_tag_match(i)
s1_disparity(i) := s1_vb && (s1_tag_disparity || code.decode(s1_dout(i)).error)
2012-10-10 06:35:03 +02:00
}
s1_any_tag_hit := s1_tag_hit.reduceLeft(_||_) && !s1_disparity.reduceLeft(_||_)
2012-10-10 06:35:03 +02:00
for (i <- 0 until nWays) {
val data_array = SeqMem(nSets * refillCycles, Bits(width = code.width(rowBits)))
2015-07-11 22:32:45 +02:00
val wen = narrow_grant.valid && repl_way === UInt(i)
when (wen) {
val e_d = code.encode(narrow_grant.bits.data)
data_array.write((s1_idx << log2Ceil(refillCycles)) | refill_cnt, e_d)
2012-10-10 06:35:03 +02:00
}
val s0_raddr = s0_vaddr(untagBits-1,blockOffBits-log2Ceil(refillCycles))
2016-01-28 20:44:59 +01:00
s1_dout(i) := data_array.read(s0_raddr, !wen && s0_valid)
2012-01-25 01:51:30 +01:00
}
// output signals
latency match {
case 1 =>
io.resp.bits.datablock := Mux1H(s1_tag_hit, s1_dout)
io.resp.valid := s1_hit
case 2 =>
val s2_hit = RegEnable(s1_hit, !stall)
val s2_tag_hit = RegEnable(s1_tag_hit, !stall)
val s2_dout = RegEnable(s1_dout, !stall)
io.resp.bits.datablock := Mux1H(s2_tag_hit, s2_dout)
io.resp.valid := s2_hit
}
io.mem.acquire.valid := state === s_request && !io.s2_kill
io.mem.acquire.bits := GetBlock(addr_block = refill_addr >> blockOffBits)
// control state machine
switch (state) {
is (s_ready) {
when (s1_miss) { state := s_request }
2012-03-06 09:31:44 +01:00
invalidated := Bool(false)
}
2012-10-10 06:35:03 +02:00
is (s_request) {
2015-03-27 07:26:03 +01:00
when (io.mem.acquire.ready) { state := s_refill_wait }
when (io.s2_kill) { state := s_ready }
}
is (s_refill_wait) {
2013-01-22 02:18:23 +01:00
when (io.mem.grant.valid) { state := s_refill }
}
is (s_refill) {
2012-10-10 06:35:03 +02:00
when (refill_done) { state := s_ready }
}
2012-10-10 06:35:03 +02:00
}
}