[Libre-soc-bugs] [Bug 450] Create MMU from microwatt mmu.vhdl

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Wed Aug 12 18:19:26 BST 2020


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

--- Comment #38 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
(In reply to Cole Poirier from comment #34)
> (In reply to Luke Kenneth Casson Leighton from comment #33)
> > (In reply to Cole Poirier from comment #32)
> > with unsigned, "> 0" is equivalent to != 0.
> 
> Ok, my question remains, how to I specify a signal that *must* be != 0?

as jacob says: you don't.  it will be a formal proof's job to assert that it is
never zero.

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


More information about the libre-soc-bugs mailing list