From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 13 Oct 2017 15:11:46 +0000 (+0200)
Subject: Update Verific README
X-Git-Tag: yosys-0.8~295
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=05068af88041d8fffbece6ec94f240c7ae3e4f54;p=yosys.git

Update Verific README
---

diff --git a/frontends/verific/README b/frontends/verific/README
index e747255db..b4c436a3a 100644
--- a/frontends/verific/README
+++ b/frontends/verific/README
@@ -33,6 +33,13 @@ make -j8
 ./yosys -p 'verific -sv frontends/verific/example.sv; verific -import top'
 
 
+Verific Features that should be enabled in your Verific library
+===============================================================
+
+database/DBCompileFlags.h:
+	DB_PRESERVE_INITIAL_VALUE
+
+
 Testing Verific+Yosys+SymbiYosys for formal verification
 ========================================================