diff options
| author | Sebastian Kuzminsky <seb@highlab.com> | 2016-02-28 15:14:01 -0700 |
|---|---|---|
| committer | Sebastian Kuzminsky <seb@highlab.com> | 2016-02-28 15:14:01 -0700 |
| commit | 7e6426a67da352e0ea41f80b9303087545cb12ac (patch) | |
| tree | 12dc9e1a7c91d655e2df84bb4ab7742f04f85e62 /manual | |
| parent | c89f61c730da973adc7cce93f0839db49683c761 (diff) | |
| download | yosys-7e6426a67da352e0ea41f80b9303087545cb12ac.tar.gz yosys-7e6426a67da352e0ea41f80b9303087545cb12ac.tar.bz2 yosys-7e6426a67da352e0ea41f80b9303087545cb12ac.zip | |
user-facing spelling fixes
"speciefied" -> "specified"
"unkown" -> "unknown"
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/command-reference-manual.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/manual/command-reference-manual.tex b/manual/command-reference-manual.tex index 99d4a1fa0..425d89b67 100644 --- a/manual/command-reference-manual.tex +++ b/manual/command-reference-manual.tex @@ -3783,10 +3783,10 @@ The following node-types may be used: - the inverted value of the specified input port bit [ "and", <node-index>, <node-index>, <out-list> ] - - the ANDed value of the speciefied nodes + - the ANDed value of the specified nodes [ "nand", <node-index>, <node-index>, <out-list> ] - - the inverted ANDed value of the speciefied nodes + - the inverted ANDed value of the specified nodes [ "true", <out-list> ] - the constant value 1 @@ -3817,7 +3817,7 @@ inferred by the following code: ] Future version of Yosys might add support for additional fields in the JSON -format. A program processing this format must ignore all unkown fields. +format. A program processing this format must ignore all unknown fields. \end{lstlisting} \section{write\_smt2 -- write design to SMT-LIBv2 file} |