Rocket-chip-RoCC(5)

下面是对translator模块的具体实现进行说明。

2、Translator
类TranslatorExample,需要输入opcodes参数,里面使用new创建TranslatorExampleModuleImp的对象,且输入额外参数nPTWPorts,值为1。

class  TranslatorExample(opcodes: OpcodeSet)(implicit p: Parameters) extends LazyRoCC(opcodes, nPTWPorts = 1) {
  override lazy val module = new TranslatorExampleModuleImp(this)
}

TranslatorExampleModuleImp类中混入LazyRoCCModuleImp和HasCoreParameters。

  • 声明req_addr的值为寄存器,宽度为coreMaxAddrBits,这里coreMaxAddrBits=32。
  • 声明req_rd的值为寄存器,位宽与io.resp.bits.rd的位宽一样。
  • 声明req_offset的值为req_addr(11,0),取req_addr的低12位,pgIdxBits在tile/BaseTile.scala中定义,def pgIdxBits: Int = 12。
  • 声明req_vpn为req_addr(coreMaxAddrBits - 1, pgIdxBits)即req_addr(31, 12)。
    这里将req_addr分为了req_offset和req_vpn,一个是偏移值,一个是虚拟页面编号值。由此可知一个虚拟页面有64B数据。
  • 声明pte的值为寄存器,类型为PTE类,类PTE是一个多信号的组合,类PTE可以查看rocket/PTW.scala。
    这里 Enum() 生成四个Bits类型的字面常量,分别为s_idle、s_ptw_req、s_ptw_resp和s_resp
    ,作为有限状态机的状态,同时声明state为寄存器,用于存储状态机的状态值,初始值为s_idle。
    当state为s_idle时,io.cmd.ready为1,也就是Translator模块处于空闲状态。
  • 当io.cmd.fire()为1时,也就是io.cmd.ready == 1 && io.cmd.valid == 1,也就是Translator模块处于空闲,且core那边有有效指令传输过来,那就将io.cmd.bits.inst.rd赋给req_rd,将 io.cmd.bits.rs1赋给req_addr,state更新状态为s_resp,上述操作均为时序操作。
  • 定义私有成员ptw,仅在此类中可见。ptw的值为io.ptw端口中的第0号ptw信号组,存在多组ptw端口,部分用于pmp的用途,在TranslatorExampleModuleImp类中,后面的ptw信号都是这个私有信号。
  • 当ptw.req.ready1和ptw.req.valid1时,状态机转变为s_ptw_resp。
  • 当状态机为s_ptw_resp ,且ptw.resp.valid==1时,将ptw端口返回的pte信号组赋给类中的pte寄存器。同时将状态改为s_resp。
  • 当io.resp.ready1和io.resp.valid1时,状态机跳转回s_idle态。
  • 当状态机为s_ptw_req时,ptw.req.valid置1。
  • ptw.req.bits.valid永远为1。
  • 将req_vpn的值赋给ptw.req.bits.bits.addr。
  • 当状态机为s_resp时,io.resp.valid置1。
  • 将req_rd的值赋给io.resp.bits.rd。
  • io.resp.bits.data的值是一个mux输出,选择信号为pte.leaf(),在rocket/PTW.scala中定义。具体为def leaf(dummy: Int = 0) = v && (r || (x && !w)) && a。v、r、x、w和a代表的含义可以查看特权指令集的4.3.1Addressing and Memory Protection,此部分虚拟页面相关。当pte.leaf()为1时,输出pet.ppn和req_offset的拼接;为0时,输出位宽为xLen的有符号数-1,并将这个有符号的-1最终强制转为无符号数,也就是xLen’hFFFF……FFFF。
  • 当状态机不为s_idle时,io.busy均输出为1。
  • 强制接io.interrupt 为0,RTL代码生成时会优化此信号。
  • 强制接io.mem.req.valid为0,RTL代码生成时会优化相关信号。
class TranslatorExampleModuleImp(outer: TranslatorExample)(implicit p: Parameters) extends LazyRoCCModuleImp(outer)
    with HasCoreParameters {
  val req_addr = Reg(UInt(width = coreMaxAddrBits))
  val req_rd = Reg(io.resp.bits.rd)
  val req_offset = req_addr(pgIdxBits - 1, 0)
  val req_vpn = req_addr(coreMaxAddrBits - 1, pgIdxBits)
  val pte = Reg(new PTE)

  val s_idle :: s_ptw_req :: s_ptw_resp :: s_resp :: Nil = Enum(Bits(), 4)
  val state = Reg(init = s_idle)

  io.cmd.ready := (state === s_idle)

  when (io.cmd.fire()) {
    req_rd := io.cmd.bits.inst.rd
    req_addr := io.cmd.bits.rs1
    state := s_ptw_req
  }

  private val ptw = io.ptw(0)

  when (ptw.req.fire()) { state := s_ptw_resp }

  when (state === s_ptw_resp && ptw.resp.valid) {
    pte := ptw.resp.bits.pte
    state := s_resp
  }

  when (io.resp.fire()) { state := s_idle }

  ptw.req.valid := (state === s_ptw_req)
  ptw.req.bits.valid := true.B
  ptw.req.bits.bits.addr := req_vpn

  io.resp.valid := (state === s_resp)
  io.resp.bits.rd := req_rd
  io.resp.bits.data := Mux(pte.leaf(), Cat(pte.ppn, req_offset), SInt(-1, xLen).asUInt)

  io.busy := (state =/= s_idle)
  io.interrupt := Bool(false)
  io.mem.req.valid := Bool(false)
}

translator模块的实际功能是利用rs1[31:0]所存的地址值去读取对应虚拟页面中存储的数据。

上一篇:GPIO控制器驱动- gpio_chip


下一篇:Compile Python 3.10 for M1 Chip MacBook Pro