You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
The only thing I can think of is that I have an output somewhere which is dependent upon an input such that said input is dependent on said output, creating a combinatorial loop. Will need to check for this tonight.
The `check` pass should produce a warning for combinatorial loops. (`synth_ice40` calls `check` as one of the last commands.) Do you have your code somewhere online so I can have a quick look?
My first uneducated guess would be that the initial statements prevent something to be mapped to block RAM. Check for that in the synthesis resource usage report?
I'm not using block RAM yet. @zipcpu found the issue. I worked around it by putting initial values behind a ifdef FORMAL check. It's all good now.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
