diff options
| author | Robert Baruch <robert.c.baruch@gmail.com> | 2021-02-27 09:58:03 -0800 |
|---|---|---|
| committer | Robert Baruch <robert.c.baruch@gmail.com> | 2021-02-27 09:58:03 -0800 |
| commit | ca4b1afcb687c03837c66b657fe73363cacf1e70 (patch) | |
| tree | 4832c6130065ef5f11a2ab3108b93ba692cedd46 | |
| parent | d882b6fe3ca3c52b9a72a8282cda92288d198506 (diff) | |
| download | yosys-ca4b1afcb687c03837c66b657fe73363cacf1e70.tar.gz yosys-ca4b1afcb687c03837c66b657fe73363cacf1e70.tar.bz2 yosys-ca4b1afcb687c03837c66b657fe73363cacf1e70.zip | |
RTLIL Documentation: switch in process is optional
| -rw-r--r-- | manual/CHAPTER_TextRtlil.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/CHAPTER_TextRtlil.tex b/manual/CHAPTER_TextRtlil.tex index 243b56a87..5615a8707 100644 --- a/manual/CHAPTER_TextRtlil.tex +++ b/manual/CHAPTER_TextRtlil.tex @@ -241,7 +241,7 @@ See Sec.~\ref{sec:rtlil_process} for an overview of processes. <proc-stmt> ::= "process" <id> <eol> -<process-body> ::= <assign-stmt>$*$ <switch> <assign-stmt>$*$ <sync>$*$ +<process-body> ::= <assign-stmt>$*$ <switch>$?$ <assign-stmt>$*$ <sync>$*$ <assign-stmt> ::= "assign" <dest-sigspec> <src-sigspec> <eol> |