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 | |
| parent | c89f61c730da973adc7cce93f0839db49683c761 (diff) | |
| download | yosys-7e6426a67da352e0ea41f80b9303087545cb12ac.tar.gz yosys-7e6426a67da352e0ea41f80b9303087545cb12ac.tar.bz2 yosys-7e6426a67da352e0ea41f80b9303087545cb12ac.zip | |
user-facing spelling fixes
"speciefied" -> "specified"
"unkown" -> "unknown"
| -rw-r--r-- | backends/json/json.cc | 6 | ||||
| -rw-r--r-- | manual/command-reference-manual.tex | 6 |
2 files changed, 6 insertions, 6 deletions
diff --git a/backends/json/json.cc b/backends/json/json.cc index 9bc936a6c..7d5ee58e8 100644 --- a/backends/json/json.cc +++ b/backends/json/json.cc @@ -411,10 +411,10 @@ struct JsonBackend : public Backend { log(" - the inverted value of the specified input port bit\n"); log("\n"); log(" [ \"and\", <node-index>, <node-index>, <out-list> ]\n"); - log(" - the ANDed value of the speciefied nodes\n"); + log(" - the ANDed value of the specified nodes\n"); log("\n"); log(" [ \"nand\", <node-index>, <node-index>, <out-list> ]\n"); - log(" - the inverted ANDed value of the speciefied nodes\n"); + log(" - the inverted ANDed value of the specified nodes\n"); log("\n"); log(" [ \"true\", <out-list> ]\n"); log(" - the constant value 1\n"); @@ -445,7 +445,7 @@ struct JsonBackend : public Backend { log(" ]\n"); log("\n"); log("Future version of Yosys might add support for additional fields in the JSON\n"); - log("format. A program processing this format must ignore all unkown fields.\n"); + log("format. A program processing this format must ignore all unknown fields.\n"); log("\n"); } virtual void execute(std::ostream *&f, std::string filename, std::vector<std::string> args, RTLIL::Design *design) 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} |