New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Emit a diagnostic if a reset_less
signal is found driven from comb domain
#379
Comments
This could cause problems for Libre-SOC, since we use reset_less in quite a few places, including tons where the signals are combinatorially driven. |
@programmerjake Could you explain how LibreSOC uses reset_less comb signals? If there isn't a more idiomatic way to do what you need, I'm going to abandon this idea and update the (in-progress) language guide to explain that it's sometimes necessary. |
In lots of the constructors for different data types, we set |
Do you have a specific example? |
That's the type used as the output data type of several different pipeline stages, where there's a combinatorial block that assigns the member |
OK, that's reasonable. Let's commit to |
reset_less
does nothing for comb signals, so this is likely indicative of a bug. (Undriven signals are fine; they can end up being used for all sorts of reasons.)The text was updated successfully, but these errors were encountered: