Update Verific README

diff --git a/frontends/verific/README b/frontends/verific/README
index e747255db05f29f4cd4028c80021eb165c68d2f8..b4c436a3ae1d4b33983c6cdaa5066b20031a6b38 100644 (file)
--- 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
 ========================================================