diff options
author | Clifford Wolf <clifford@clifford.at> | 2019-07-03 10:45:29 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-07-03 10:45:29 +0200 |
commit | 224ad8fe3305b6bdeda69b65bf39bd025b68e87e (patch) | |
tree | 8c94a0e74f22a6010a07b4f3d2d1cdddf2e57a06 | |
parent | 8455d1f4ffb942c802b65e20748e54a123e08df0 (diff) | |
parent | 9251c000e86c1d7e757c89720f729ac984aaf901 (diff) | |
download | yosys-224ad8fe3305b6bdeda69b65bf39bd025b68e87e.tar.gz yosys-224ad8fe3305b6bdeda69b65bf39bd025b68e87e.tar.bz2 yosys-224ad8fe3305b6bdeda69b65bf39bd025b68e87e.zip |
Merge pull request #1154 from whitequark/manual-sync-always
manual: explain the purpose of `sync always`
-rw-r--r-- | manual/CHAPTER_Overview.tex | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/manual/CHAPTER_Overview.tex b/manual/CHAPTER_Overview.tex index 1a25c477f..3009bf2c0 100644 --- a/manual/CHAPTER_Overview.tex +++ b/manual/CHAPTER_Overview.tex @@ -331,8 +331,9 @@ to update {\tt \textbackslash{}q}. An RTLIL::Process is a container for zero or more RTLIL::SyncRule objects and exactly one RTLIL::CaseRule object, which is called the {\it root case}. -An RTLIL::SyncRule object contains an (optional) synchronization condition -(signal and edge-type) and zero or more assignments (RTLIL::SigSig). +An RTLIL::SyncRule object contains an (optional) synchronization condition (signal and edge-type) and zero or +more assignments (RTLIL::SigSig). The {\tt always} synchronization condition is used to break combinatorial +loops when a latch should be inferred instead. An RTLIL::CaseRule is a container for zero or more assignments (RTLIL::SigSig) and zero or more RTLIL::SwitchRule objects. An RTLIL::SwitchRule objects is a |