[libre-riscv-dev] [Bug 173] dynamic partitioned "shift"

bugzilla-daemon at libre-riscv.org bugzilla-daemon at libre-riscv.org
Wed Feb 19 14:07:27 GMT 2020


http://bugs.libre-riscv.org/show_bug.cgi?id=173

--- Comment #42 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
ahh goood.

ok next thing, i get the unit test up and running, the one which recognises
Const.  then we can sign this one off.

lkcl at fizzy:~/src/libreriscv/ieee754fpu/src$ python3
ieee754/part_shift/formal/proof_shift_scalar.py 
{8: (slice (sig gates) 0:1), 16: (slice (sig gates) 1:2)}
.{8: (slice (sig gates) 0:1), 16: (slice (sig gates) 1:2)}
.
----------------------------------------------------------------------
Ran 2 tests in 0.307s

OK
lkcl at fizzy:~/src/libreriscv/ieee754fpu/src$ yosys -V
Yosys 0.9+1706 (git sha1 c7af1b22, clang
7.0.0-svn342187-1~exp1~20180919215158.32 -fPIC -Os)

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


More information about the libre-riscv-dev mailing list