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

[Jacob Lifshay]

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>
wrote:

>
> 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
>