From: lkcl <lkcl@web>
Date: Sun, 14 Nov 2021 14:20:51 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~3413
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d0a67e9e303a3da017b0a028bb4d960b3930fb2c;p=libreriscv.git

---

diff --git a/conferences/fosdem2022.mdwn b/conferences/fosdem2022.mdwn
index c391e44a9..7b41bd047 100644
--- a/conferences/fosdem2022.mdwn
+++ b/conferences/fosdem2022.mdwn
@@ -27,8 +27,10 @@ Elaborate description (including possible topics)
   * Libre/Open FPGA designs
   * FPGA toolchains and Reverse-Engineering
   * FPGA workflow
-- RTL and HDL
-  * Advanced and innovative 
+- VLSI RTL and HDL
+  * Advanced and innovative alternative HDL tools
+  * Formal Correctness Proofs
+  * Testing methodologies
 - Circuit Design
   * Printed circuit board design tools
   * Circuit simulation