[libre-riscv-dev] ALU ported over from Verilog to nMigen

Luke Kenneth Casson Leighton lkcl at lkcl.net
Mon Aug 5 05:47:44 BST 2019


---
crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68

On Mon, Aug 5, 2019 at 5:36 AM Samuel Falvo II <sam.falvo at gmail.com> wrote:
>
> Thanks for mentioning Mux; that was most helpful!

http://chiselapp.com/user/kc5tja/repository/kestrel-3/artifact/4e5c7af7d706e9be
coool, that looks a lot better, doesn't it?

> The ALU is now formally verified (by way of the formal tests of the IXU),

nice!

> and the IXU now implements the operand-fetch and execute steps of the
> entire set of OP-IMM instructions.  Next up is register writeback and
> support for receiving the next instruction to execute.

progress...



More information about the libre-riscv-dev mailing list