diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-03-07 11:17:44 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-03-07 11:17:44 +0100 |
| commit | e7ed653771ab3483f988f4adfca5c635c10c3480 (patch) | |
| tree | 07d7b978c7004de506407ce14ecbdf82b5d939d0 /manual/command-reference-manual.tex | |
| parent | c4aaed099f948f8212898faecfc0f09027347928 (diff) | |
| parent | b0ac32bc03b340b26e0d3bb778af1c915722abdf (diff) | |
| download | yosys-e7ed653771ab3483f988f4adfca5c635c10c3480.tar.gz yosys-e7ed653771ab3483f988f4adfca5c635c10c3480.tar.bz2 yosys-e7ed653771ab3483f988f4adfca5c635c10c3480.zip | |
Merge branch 'master' of github.com:cliffordwolf/yosys
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} |