麻烦理解凿子中的陈述顺序

Question

这是一个简单的模块，其中包含一个倒数计数器：

import chisel3.util.{Valid, DeqIO}
class Input(WIDTH : Int) extends Bundle {
  val x = UInt(WIDTH.W)
}
class Output(WIDTH : Int) extends Bundle {
  val y = UInt(WIDTH.W)
}
class DownCount(WIDTH : Int) extends Module {
  val io  = IO(new Bundle {
    val in  = DeqIO(new Input(WIDTH))
    val out = Output(Valid(new Output(WIDTH)))
  })
  val i = Reg(UInt(WIDTH.W))
  val p = RegInit(false.B)

  printf("i = %d, p = %b, out.valid = %b\n",
    i, p, io.out.valid)
  io.in.ready := !p
  io.out.valid := false.B
  io.out.bits.y := 10.U
  when (p) {
    i := i - 1.U
    when (i === 0.U) {
      printf("Before setting out.valid = %b\n", io.out.valid)
      p := false.B
      // Here the register is set to 1.
      io.out.valid := true.B
    }
  }.otherwise {
    when (io.in.valid) {
      printf("Initializing\n")
      i := WIDTH.U - 1.U
      p := true.B
    }
  }
}

这是在模块上应用clock.step（）函数后几次输出的输出：

i =    0, p = 0, out.valid = 0
Initializing
i =    7, p = 1, out.valid = 0
i =    6, p = 1, out.valid = 0
i =    5, p = 1, out.valid = 0
i =    4, p = 1, out.valid = 0
i =    3, p = 1, out.valid = 0
i =    2, p = 1, out.valid = 0
i =    1, p = 1, out.valid = 0
i =    0, p = 1, out.valid = 1
Before setting out.valid = 1     <-- why is it 1 here??
i =  255, p = 0, out.valid = 0

到底如何io.out.ut.valid < /代码>为1（true） 它被分配true.b值？凿子是否以某种怪异的方式重新排序printf语句？

Answer 1

似乎是正常的行为。使用：=运算符，左值将在时钟周期结束时以正确的值编写。
out.valid仍然是true.b，false.b分配。

// i =    0, p = 1, out.valid = 1
  printf("i = %d, p = %b, out.valid = %b\n",i, p, io.out.valid) 
  io.in.ready := !p
  io.out.valid := false.B
// Here, io.out.valid is still true.B if printf was true.B
// false.B will be written at the end of cycle,
//  except if another connection write true.B
  io.out.bits.y := 10.U
  when (p) {
    i := i - 1.U
    when (i === 0.U) {
      printf("Before setting out.valid = %b\n", io.out.valid)
      p := false.B
      // Here the register is set to 1.
      io.out.valid := true.B  // Will be set to true.B (but was already true.B)
    }
  }.otherwise {
    when (io.in.valid) {
      printf("Initializing\n")
      i := WIDTH.U - 1.U
      p := true.B
    }
  }
}