[libre-riscv-dev] [Bug 306] Formal Correctness Proof for ALU pipeline

[bugzilla-daemon at libre-soc.org]

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

--- Comment #3 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
* OP_EXTS proof
https://git.libre-soc.org/?p=soc.git;a=commitdiff;h=32d9da2bd849d3ae9b59bdec7a4add0c35908922

* OP_CMP and OP_CMPEQB proof
https://git.libre-soc.org/?p=soc.git;a=commitdiff;h=ca79ab18a7fa9bdabeca860448d79b5d11dc222f

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