From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 8 Jul 2016 16:31:31 +0000 (+0200)
Subject: Added warning about adding fsm_encoding attributes to wires to manual
X-Git-Tag: yosys-0.7~183
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d3f0d7242732d8fb8885600c00c80c1aff8b5253;p=yosys.git

Added warning about adding fsm_encoding attributes to wires to manual
---

diff --git a/manual/CHAPTER_Optimize.tex b/manual/CHAPTER_Optimize.tex
index 4b09c2231..eee92ef5c 100644
--- a/manual/CHAPTER_Optimize.tex
+++ b/manual/CHAPTER_Optimize.tex
@@ -222,6 +222,10 @@ This heuristic has proven to work very well. It is possible to overwrite it by s
 and setting \B{fsm\_encoding}{\tt = "none"} on registers that match the above criteria
 but should not be considered FSM state registers.
 
+Note however that marking state registers with \B{fsm\_encoding} that are not
+suitable for FSM recoding can cause synthesis to fail or produce invalid
+results.
+
 \subsection{FSM Extraction}
 
 The {\tt fsm\_extract} pass operates on all state signals marked with the