updated readme file

ludwigatlubis · Nov 24, 2023 · de0e219 · de0e219
1 parent 098067f
commit de0e219
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/src/sha512_masked/formal/readme.md b/src/sha512_masked/formal/readme.md
@@ -59,8 +59,6 @@ The Assertion IP signals are bound with the respective signals in the dut, where
 
 
 ## Reproduce results
-For reproducing the results: Load the AIP, sha512_masked_core and fv_constraints together in your formal tool. To ensure converging proves cut the following signals:
-
-- cut the respective signal **lfsr_inst.rnd** in formal tool. By cutting the signal model complexity is drastically reduced.
+For reproducing the results: Load the AIP, sha512_masked_core and fv_constraints together in your formal tool.
 
 Feel free to reach out to [email protected] to request the loadscripts.