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

Luke Kenneth Casson Leighton lkcl at lkcl.net
Tue Apr 9 11:19:29 BST 2019


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.


More information about the libre-riscv-dev mailing list