[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [libreplanet-discuss] NLNet Funding Proposals for the Libre RISC-V S
From: |
Luke Kenneth Casson Leighton |
Subject: |
Re: [libreplanet-discuss] NLNet Funding Proposals for the Libre RISC-V SoC: call for participation |
Date: |
Tue, 24 Sep 2019 21:53:04 +0800 |
On Tuesday, September 24, 2019, Staf Verhaegen <[1]staf@fibraservi.eu>
wrote:
OK, let me mention I have for my Retro-uC currently nmigen Wishbone
code.
Great!
I use it to make an arbiter between JTAG and the CPU cores on the
design (Z80, MOS6502 and Motorola 68000) that can do a read/write
for each cycle.
Plan is top commit code to my gitlab repo after ORConf.
Dan from ZipCPU would say that I still have to formally verify the
code though... .
Yes. Ah it just occurred to me to get in touch with him again, see if
he would like to help with the formal proofs proposal.
Looks like you might get your "wish" after all, David :)
L.
greets,
Staf.
--
---
crowd-funded eco-conscious hardware:
[2]https://www.crowdsupply.com/eoma68
References
1. mailto:staf@fibraservi.eu
2. https://www.crowdsupply.com/eoma68
- [libreplanet-discuss] NLNet Funding Proposals for the Libre RISC-V SoC: call for participation, Luke Kenneth Casson Leighton, 2019/09/23
- Re: [libreplanet-discuss] [Libre-silicon-devel] NLNet Funding Proposals for the Libre RISC-V SoC: call for participation, David Lanzendörfer, 2019/09/23
- Re: [libreplanet-discuss] [Libre-silicon-devel] NLNet Funding Proposals for the Libre RISC-V SoC: call for participation, Luke Kenneth Casson Leighton, 2019/09/24
- Re: [libreplanet-discuss] [Libre-silicon-devel] NLNet Funding Proposals for the Libre RISC-V SoC: call for participation, Hagen SANKOWSKI, 2019/09/24
- Re: [libreplanet-discuss] [Libre-silicon-devel] NLNet Funding Proposals for the Libre RISC-V SoC: call for participation, Luke Kenneth Casson Leighton, 2019/09/24
- Re: [libreplanet-discuss] [Libre-silicon-devel] NLNet Funding Proposals for the Libre RISC-V SoC: call for participation, Staf Verhaegen, 2019/09/24
- Re: [libreplanet-discuss] [Libre-silicon-devel] NLNet Funding Proposals for the Libre RISC-V SoC: call for participation, Luke Kenneth Casson Leighton, 2019/09/24
- Re: [libreplanet-discuss] [Libre-silicon-devel] NLNet Funding Proposals for the Libre RISC-V SoC: call for participation, Luke Kenneth Casson Leighton, 2019/09/24
- Re: [libreplanet-discuss] NLNet Funding Proposals for the Libre RISC-V SoC: call for participation, Luke Kenneth Casson Leighton, 2019/09/25
- Re: [libreplanet-discuss] [Libre-silicon-devel] NLNet Funding Proposals for the Libre RISC-V SoC: call for participation, Staf Verhaegen, 2019/09/24
- Re: [libreplanet-discuss] NLNet Funding Proposals for the Libre RISC-V SoC: call for participation,
Luke Kenneth Casson Leighton <=