libre-chip/website
3
0
Fork 1
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

clean up whitespace

Browse source
This commit is contained in:
Jacob Lifshay 2025-11-30 02:47:02 -08:00
parent 259afa1fa9
commit 2f742e7606
Signed by: programmerjake
SSH key fingerprint: SHA256:HnFTLGpSm4Q4Fj502oCFisjZSoakwEuTsJJMSke63RQ
1 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/grants/cpu_with_programmable_decoder.md
View file

@ -23,11 +23,10 @@ design and formal verification. Presented the talk "An introduction to
Formal Verification of Digital Circuits" on FOSDEM 2024
(<https://archive.fosdem.org/2024/schedule/event/fosdem-2024-2215-an-introduction-to-formal-verification-of-digital-circuits/>).
* Tobias Platen - Currently working on <https://nlnet.nl/project/Libre-Chip-proof/>. Contributed to the Libre-SOC project, mostly on
ECP5 FPGA prototypes and DDR SDRAM memory interfaces. Presented the talk "Using the ECP5
* Tobias Platen - Currently working on <https://nlnet.nl/project/Libre-Chip-proof/>. Contributed to the Libre-SOC project, mostly on
ECP5 FPGA prototypes and DDR SDRAM memory interfaces. Presented the talk "Using the ECP5
for Libre-SOC prototyping" on FOSDEM 2024 (<https://archive.fosdem.org/2024/schedule/event/fosdem-2024-2060-using-the-ecp5-for-libre-soc-prototyping/>).
# Requested support
Requested Amount &euro;100000