search

YosysHQ / yosys

Yosys Open SYnthesis Suite
https://yosyshq.net/yosys/
ISC License
3.51k stars 895 forks source link

Incomplete Warning Messages After Yosys Synthesis #4710

Closed jiangshuirou closed 2 weeks ago

jiangshuirou commented 2 weeks ago

Version

Yosys 0.39+165

On which OS did this happen?

Linux

Reproduction Steps

Hello, when using Yosys to synthesize an rtl.v file, during the synthesis phase, the port clk[0] in the module15 is either unconnected or has no load. Yosys should ideally issue a corresponding warning for this situation. (There are a total of 6 such warning messages, with detailed explanations provided in the attachment.) Relevant_documents.zip

Expected Behavior

Yosys issues the following warning messages: 1、Port clk[0] in module module15 is either unconnected or has no load 2、 Port wire17[8] in module module15 is either unconnected or has no load 3、Port wire17[4] in module module15 is either unconnected or has no load 4、Port clk[0] in module module15 is either unconnected or has no load 5、 Port wire17[8] in module module15 is either unconnected or has no load 6、Port wire17[4] in module module15 is either unconnected or has no load

Actual Behavior

The Yoysy warning messages did not include the above-expected 6 warning messages.

KrystalDelusion commented 2 weeks ago

Yosys doesn't lint. Use verilator or something else if you need linting features. See #4705