From: colepoirier@1ec9c8c87c85f09e4718cd80e0605065e33975f0 <colepoirier@1ec9c8c87c85f09e4718cd80e0605065e33975f0@web>
Date: Thu, 29 Oct 2020 20:49:04 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~1906
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=98ff5c25a52c0696c1f256bcab2c56fa651442e1;p=libreriscv.git

---

diff --git a/resources.mdwn b/resources.mdwn
index d7d306eaf..e019de334 100644
--- a/resources.mdwn
+++ b/resources.mdwn
@@ -281,6 +281,8 @@ regards to what we specify.  Of course, it is important to do the formal
 verification as a final step in the development process before we produce
 thousands or millions of silicon.
 
+* Possible way to speed up our solvers for our formal proofs <https://github.com/eth-sri/fastsmt>
+
 Some learning resources I found in the community:
 
 * ZipCPU: <http://zipcpu.com/> ZipCPU provides a comprehensive