From: Sebastian Kuzminsky <seb@highlab.com>
Date: Sun, 28 Feb 2016 22:14:01 +0000 (-0700)
Subject: user-facing spelling fixes
X-Git-Tag: yosys-0.7~309^2~3^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7e6426a67da352e0ea41f80b9303087545cb12ac;p=yosys.git

user-facing spelling fixes

"speciefied" -> "specified"
"unkown" -> "unknown"
---

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}