[libre-riscv-dev] kestrel kcp53000 developer making a nmigen RISC-V core
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>
> 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.
> libre-riscv-dev mailing list
> libre-riscv-dev at lists.libre-riscv.org
More information about the libre-riscv-dev