[Libre-soc-dev] Confusing nmigen assert error

Cole Poirier colepoirier at gmail.com
Wed Sep 23 19:32:58 BST 2020


On Wed, Sep 23, 2020 at 11:12 AM Luke Kenneth Casson Leighton
<lkcl at lkcl.net> wrote:
>
> On 9/23/20, Cole Poirier <colepoirier at gmail.com> wrote:
> > On Wednesday, September 23, 2020, Luke Kenneth Casson Leighton <
> > lkcl at lkcl.net> wrote:

> you are trying something that is 100% guaranteed to fail, therefore
> don't do it! :)
>
> therefore just delete those lines.
>
> or you can look in dcache.py where i have converted similar code to
> report a debug message on the console.

Aha! Thank you, very helpful.

> Assertions normally can only be put into formsl proofs.
>
> how can a *python* assertion be valid for a *hardware* chip?
>
> we cannot embed the python programming language esp. the "assert"
> statement into gates in a chip, can we?
>
> remember to create a model in your head of what is expected and think
> it through, comparing against not just the code but what the code
> *does*.

Thanks, that's also helpful, still working on getting the modelling right ;)

Cole



More information about the Libre-soc-dev mailing list