在踏板內檢索鑿子源描述

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 內部問題