diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-02-29 10:18:50 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-02-29 10:18:50 +0100 |
| commit | b36cad75f6d785559391ca7875d893f40736c305 (patch) | |
| tree | 12dc9e1a7c91d655e2df84bb4ab7742f04f85e62 /manual/command-reference-manual.tex | |
| parent | c89f61c730da973adc7cce93f0839db49683c761 (diff) | |
| parent | 7e6426a67da352e0ea41f80b9303087545cb12ac (diff) | |
| download | yosys-b36cad75f6d785559391ca7875d893f40736c305.tar.gz yosys-b36cad75f6d785559391ca7875d893f40736c305.tar.bz2 yosys-b36cad75f6d785559391ca7875d893f40736c305.zip | |
Merge pull request #119 from SebKuzminsky/spelling-fixes
user-facing spelling fixes
Diffstat (limited to 'manual/command-reference-manual.tex')
| -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} |