Yosys 在 ice40 FPGA 上优化远离环形振荡器

Question

我正在尝试使用 yosys (0.7) 为 ice40 FPGA 实现一个简单的环形振荡器，如下所示：

module ringosc(input clkin,
               output out);

   (* keep="true" *)
   wire [100:0]              ring;

   assign ring[100:1] = ~ring[99:0];
   assign ring[0]     = ~ring[100];

   assign out = ring[0];

endmodule

然而，即使我使用 keep 属性，它似乎也被优化掉了。我可以在 yosys 日志输出中看到：

7.14.2. Executing OPT_EXPR pass (perform const folding).
Replacing $_NOT_ cell `$auto$simplemap.cc:37:simplemap_not2' (double_invert) in module `\lfsr' with constant driver `\trng.ring [62] = \trng.ring [60]'.
Replacing $_NOT_ cell `$auto$simplemap.cc:37:simplemap_not3' (double_invert) in module `\lfsr' with constant driver `\trng.ring [63] = \trng.ring [59]'.
Replacing $_NOT_ cell `$auto$simplemap.cc:37:simplemap_not4' (double_invert) in module `\lfsr' with constant driver `\trng.ring [64] = \trng.ring [58]'.
Replacing $_NOT_ cell `$auto$simplemap.cc:37:simplemap_not5' (double_invert) in module `\lfsr' with constant driver `\trng.ring [65] = \trng.ring [57]'.
Replacing $_NOT_ cell `$auto$simplemap.cc:37:simplemap_not6' (double_invert) in module `\lfsr' with constant driver `\trng.ring [66] = \trng.ring [56]'.
Replacing $_NOT_ cell `$auto$simplemap.cc:37:simplemap_not7' (double_invert) in module `\lfsr' with constant driver `\trng.ring [67] = \trng.ring [55]'.
Replacing $_NOT_ cell `$auto$simplemap.cc:37:simplemap_not8' (double_invert) in module `\lfsr' with constant driver `\trng.ring [68] = \trng.ring [54]'.
...

如何防止 yosys 这样做？

Answer 1

手动实例化逻辑单元，就像在这个示例项目中所做的那样： http://svn.clifford.at/handicraft/2015/ringosc/

（项目来自我2015年制作的这个视频：
https://www.youtube.com/watch?v=UFqWjZudOho)

Yosys 在 ice40 FPGA 上优化远离环形振荡器

Yosys optimizes away ring oscillator on ice40 FPGA

fpga

yosys

ice40