[libre-riscv-dev] Using formal to expose bugs in scoreboard

[Yehowshua]

> On Jun 7, 2020, at 11:11 PM, Yehowshua <yimmanuel3 at gatech.edu> wrote:
> 
> This error highlights the need for formal on the scoreboard.
> https://bugs.libre-soc.org/show_bug.cgi?id=336#c54

I believe I read the bug report too quickly and that link from SymbioticEDA doesn’t apply directly to the linked bug.

Yehowshua