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

Compare commits

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

No commits in common. "2f742e7606a4f5fdfdd86aea20d6f9ebd81656af" and "29cc01dfddf2cb4a905590d25f5a901cfb18763c" have entirely different histories.
2f742e7606 ... 29cc01dfdd

1 changed files with 1 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/grants/cpu_with_programmable_decoder.md
View file

@ -23,9 +23,7 @@ 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
for Libre-SOC prototyping" on FOSDEM 2024 (<https://archive.fosdem.org/2024/schedule/event/fosdem-2024-2060-using-the-ecp5-for-libre-soc-prototyping/>).
* TODO: does Tobias Platen want to participate?
# Requested support