[libre-riscv-dev] [Bug 274] Investigate how BSV performs Formal Verification and what can be Applied to FPUs

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Sun Jun 7 00:11:24 BST 2020


--- Comment #1 from Yehowshua <yimmanuel3 at gatech.edu> ---
>From what I can tell, formal is mostly applied in BSV to make sure that rules
are activated once their conditions are met.

You are receiving this mail because:
You are on the CC list for the bug.

More information about the libre-riscv-dev mailing list