(no commit message)

[libreriscv.git] / resources.mdwn

diff --git a/resources.mdwn b/resources.mdwn
index d7d306eaf776532f54c8e9aa6f702d47a69434f6..e019de334838feef2e6121fa904d3afd254a91d8 100644 (file)
--- 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