检索踏板内部的凿子源描述
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 的 symbol
s 有一个信息字段,其中包含(如果存在)引用凿子源的源定位器。 Mux
s 没有源定位器,但您左侧的符号将是您可以获得的最接近的。祝你好运,我很乐意回答任何 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 的 symbol
s 有一个信息字段,其中包含(如果存在)引用凿子源的源定位器。 Mux
s 没有源定位器,但您左侧的符号将是您可以获得的最接近的。祝你好运,我很乐意回答任何 Treadle 内部问题