这个问题我之前在用Chisel的DecoupledIO时也碰到过，本质是Chisel的信号完整性检查机制在起作用，咱们一步步拆解解决思路：

为什么when(reset.toBool)里初始化会报错？ #

Chisel作为硬件描述语言，要求所有Output类型的信号在每一个时钟周期都有明确的赋值——硬件里不存在“未定义”的状态，要么是0、1，要么是某个确定的值。

当你只在when(reset.toBool)分支里给bits和valid赋值时，Chisel编译器会认为：非复位的正常工作周期里，这些信号没有被赋值，属于“悬空”状态，所以会抛出Reference IO未初始化的错误。而把初始化语句放在when外面，相当于给了信号一个全局默认值，后续的条件分支只是覆盖这个默认值，这样所有路径的信号都有了明确的取值，自然不会报错。

是不是必须把初始化放在when(reset.toBool)外面？ #

不是必须，但你要保证所有可能的执行路径都覆盖了信号赋值。最稳妥且简洁的写法是先给Output信号设置默认值，再在条件分支里修改，比如：

// 先给Output信号设置默认值
bits := 0.U
valid := false.B

// 再在复位或正常逻辑里覆盖默认值
when(reset.toBool) {
  bits := 0.U
  valid := true.B
}.otherwise {
  // 这里写正常工作时的赋值逻辑，比如从输入取数、处理数据等
  bits := input.bits
  valid := input.valid
}

如果你不想用默认值，也可以用多个when或switch语句覆盖所有可能的情况，但这种写法容易遗漏分支，反而不如默认值的方式省心。

路由器示例报错的解决办法 #

路由器示例里的问题和上面的逻辑一致：所有初始化语句都放在when(reset.toBool)里，导致非复位周期中，DecoupledIO的bits和valid信号没有被赋值，触发了未初始化错误。

按照以下方式修改就能解决：

// 假设路由器有n个输出端口
val outs = Vec.fill(n)(DecoupledIO(UInt(32.W)))

// 第一步：给所有输出端口的Output信号设置默认值
outs.foreach { out =>
  out.bits := 0.U
  out.valid := false.B
}

// 第二步：处理复位和正常路由逻辑
when(reset.toBool) {
  // 复位时可以重置内部状态，输出的默认值已经存在，也可以在这里重新赋值
}.otherwise {
  // 处理路由逻辑，给对应的输出端口赋值
  for (i <- 0 until n) {
    when(/* 路由条件 */) {
      outs(i).bits := input.bits
      outs(i).valid := input.valid
    }
  }
}

这里要注意：DecoupledIO的ready是Input类型，不需要你初始化；只有bits和valid是Output，必须保证每个周期都有赋值。

内容的提问来源于stack exchange，提问作者sungjun cho