[libre-riscv-dev] kestrel kcp53000 developer making a nmigen RISC-V core

Jacob Lifshay programmerjake at gmail.com
Wed Apr 10 04:20:18 BST 2019

I spent a little time to look through this, I'll look more later.

On Tue, Apr 9, 2019 at 3:20 AM Luke Kenneth Casson Leighton <lkcl at lkcl.net>

> http://chiselapp.com/user/kc5tja/repository/kestrel-3/artifact/21916d43fcb3ca7b
> he's started here (with the CSRs from privspec 1.10), and is including
> formal verification scripts in the work.  he'll be moving on to the
> execution engine shortly.  just using the CSR code that he's written
> as-is would save us some development time.
> l.
> _______________________________________________
> libre-riscv-dev mailing list
> libre-riscv-dev at lists.libre-riscv.org
> http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

More information about the libre-riscv-dev mailing list