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

Yehowshua yimmanuel3 at gatech.edu
Mon Jun 8 04:18:58 BST 2020

> 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.


More information about the libre-riscv-dev mailing list