[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:56:04 BST 2020


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

--- Comment #39 from Cole Poirier <colepoirier at gmail.com> ---
(In reply to Luke Kenneth Casson Leighton from comment #38)
> (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.

Aha! That's exactly the answer I was searching for, thank you.

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


More information about the libre-soc-bugs mailing list