[libre-riscv-dev] [Bug 130] FMIN/MAX needed

[bugzilla-daemon at libre-riscv.org]

http://bugs.libre-riscv.org/show_bug.cgi?id=130

--- Comment #7 from Michael Nolan <mtnolan2640 at gmail.com> ---
> have a look at the nmigen/test/test_lib_fifo.py because i don't believe
> it's necessary to manually call sby from a subprocess: nmigen should
> take care of it.

That's pretty nice. I was following this tutorial for nmigen's formal
verification and it didn't have that:
https://github.com/RobertBaruch/nmigen-tutorial/blob/master/8_formal_verification.md

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