检索踏板内部的凿子源描述

Retrieving chisel source description inside of treadle

我目前正在尝试增加踏板的覆盖范围。我能够对输入的 LoFIRRTL 代码执行如下操作:

COVERAGE REPORT:

+ circuit Test_1 :
+   module Test_1 :
+     input in$a : UInt<1>
+     input in$b[=10=] : UInt<2>
+     input in$b : UInt<2>
+     input clock : Clock
+     output io_cov_valid_0 : UInt<1>
+     output io_cov_valid_1 : UInt<1>
+     output out : UInt<2>
+   
+     io_cov_valid_0 <= in$a
-     io_cov_valid_1 <= mux(in$a, UInt<1>("h0"), UInt<1>("h1"))
+     out <= mux(in$a, in$b[=10=], in$b)

其中 + 表示该行已被测试覆盖,而 - 表示未覆盖。目标是将此信息映射到 Chisel 源,这会更有用。

那么有没有办法找回踏板里面的凿子源呢?如果没有,是否会有一个预先存在的工具允许人们从 LoFIRRTL 代码重建 Chisel 描述?

Treadle 的 symbols 有一个信息字段,其中包含(如果存在)引用凿子源的源定位器。 Muxs 没有源定位器,但您左侧的符号将是您可以获得的最接近的。祝你好运,我很乐意回答任何 Treadle 内部问题