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

[bugzilla-daemon at libre-soc.org]

https://bugs.libre-soc.org/show_bug.cgi?id=274

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