[Libre-soc-bugs] [Bug 909] Formal proof of nmutil/plru.py

[bugzilla-daemon at libre-soc.org]

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

Luke Kenneth Casson Leighton <lkcl at lkcl.net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |lkcl at lkcl.net

--- Comment #3 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
(In reply to Jacob Lifshay from comment #1)
> I retranslated microwatt's plru.vhdl and added a formal proof, then added a
> simulation too...

nicely done


> This is a bug in microwatt afaict, I'll be submitting an issue shortly.

i think they'll really appreciate that.  the TLBs get 64
plrus allocated so it is not a small resource allocation.

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