Update README.md

ftqtfff · Nov 11, 2023 · e1cd0a1 · e1cd0a1
1 parent bbcd82c
commit e1cd0a1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-# TimingFunctionVerification (in construction...)
+# TimingFunctionVerification
 "Use invariants as constraints to speed up the verification of timing-related network functions."<br />
 SymbiYosys download link: https://symbiyosys.readthedocs.io/en/latest/install.html#installing-from-source