programmerjake/website
1
0
Fork 1
forked from libre-chip/website
Code Pull requests Activity

Compare commits

base: programmerjake:29cc01dfddf2cb4a905590d25f5a901cfb18763c
Branches Tags
programmerjake:main
programmerjake:add-grant-proposal-cpu-with-programmable-decoder
libre-chip:rendered
libre-chip:main
...
compare: programmerjake:2f742e7606a4f5fdfdd86aea20d6f9ebd81656af
Branches Tags
programmerjake:add-grant-proposal-cpu-with-programmable-decoder
programmerjake:main
libre-chip:rendered
libre-chip:main

2 commits
29cc01dfdd ... 2f742e7606

Author SHA1 Message Date
Jacob Lifshay
2f742e7606
clean up whitespace 2025-11-30 02:47:02 -08:00
Tobias Alexandra Platen
259afa1fa9 add my paragraph 2025-11-30 11:24:17 +01:00
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/grants/cpu_with_programmable_decoder.md
View file

@ -23,7 +23,9 @@ 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/>).
* TODO: does Tobias Platen want to participate?
* 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