From 2f742e7606a4f5fdfdd86aea20d6f9ebd81656af Mon Sep 17 00:00:00 2001 From: Jacob Lifshay Date: Sun, 30 Nov 2025 02:47:02 -0800 Subject: [PATCH] clean up whitespace --- src/grants/cpu_with_programmable_decoder.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/grants/cpu_with_programmable_decoder.md b/src/grants/cpu_with_programmable_decoder.md index 5051abf..7d4bf22 100644 --- a/src/grants/cpu_with_programmable_decoder.md +++ b/src/grants/cpu_with_programmable_decoder.md @@ -23,11 +23,10 @@ design and formal verification. Presented the talk "An introduction to Formal Verification of Digital Circuits" on FOSDEM 2024 (). -* Tobias Platen - Currently working on . 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 . 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 (). - # Requested support Requested Amount €100000