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

---

diff --git a/resources.mdwn b/resources.mdwn
index 877d1a360..aa08eeed2 100644
--- a/resources.mdwn
+++ b/resources.mdwn
@@ -220,6 +220,11 @@ see [[conferences]]
 Note: The rest of LIP6's website is in French, but there is a UK flag
 in the corner that gives the English version.
 
+# Logical Equivalence and extraction
+
+* NETGEN
+* CVC https://github.com/d-m-bailey/cvc
+
 # Klayout
 
 * KLayout - Layout viewer and editor: <https://www.klayout.de/>