diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-07-08 18:31:31 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-07-08 18:31:31 +0200 |
| commit | d3f0d7242732d8fb8885600c00c80c1aff8b5253 (patch) | |
| tree | a4197f4bb0289eeafc7e15f31a2e730949b21eb2 /manual | |
| parent | 21659847a7a31f80140e03a5b6351da54c062836 (diff) | |
| download | yosys-d3f0d7242732d8fb8885600c00c80c1aff8b5253.tar.gz yosys-d3f0d7242732d8fb8885600c00c80c1aff8b5253.tar.bz2 yosys-d3f0d7242732d8fb8885600c00c80c1aff8b5253.zip | |
Added warning about adding fsm_encoding attributes to wires to manual
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/CHAPTER_Optimize.tex | 4 |
1 files changed, 4 insertions, 0 deletions
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 |