在踏板内检索凿子源描述

Question

我目前正在尝试将覆盖范围添加到踏板上。 我能够为输入 LoFIRRTL 代码执行以下操作：

COVERAGE REPORT:

+ circuit Test_1 :
+   module Test_1 :
+     input in$a : UInt<1>
+     input in$b$0 : UInt<2>
+     input in$b$1 : 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$0, in$b$1)

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

那么有没有办法找回踏板内部的凿子源呢？ 如果没有，是否会有一种预先存在的工具允许人们从 LoFIRRTL 代码中重建 Chisel 描述？

Answer 1

Treadle 的symbol s 有一个信息字段，其中包含（如果存在）引用凿子源的源定位器。 Mux没有源定位器，但您左侧的符号将是您可以获得的最接近的符号。 祝你好运，我很高兴回答任何 Treadle 内部问题