[libre-riscv-dev] [Bug 336] ALU CompUnit needs to recognise that RA (src1) can be zero

[bugzilla-daemon at libre-soc.org]

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

--- Comment #35 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
(In reply to Cesar Strauss from comment #34)


> Implemented the issue_i/busy_o protocol check, for the moment.

i saw.  looks good.

> Will add the above as I need them, incrementally.

ok.

it will be fascinating to compare against the formal proof

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