[libre-riscv-dev] daily kan-ban update 19may2020
colepoirier at gmail.com
Tue May 19 21:17:56 BST 2020
Today I am going to attempt to try hooking up the bperm.py module to the
logical pipeline and adding a test for it, using logical/main_stage.py's
OP_CNTZ as a model for OP_BPERM and logical/test/test_pipe_caller.py's
test_cmpb as a model for test_bperm.
Thank you very much for the confidence boost on the formal proof
yesterday Luke, it was very, very helpful.
More information about the libre-riscv-dev