user-facing spelling fixes

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

diff --git a/backends/json/json.cc b/backends/json/json.cc
index 9bc936a6c894c7f9c3ac1d0857f524429026ae35..7d5ee58e8801043ec9bda0a313acf37b68864e4d 100644 (file)
--- 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 99d4a1fa07afc5323788aac4708c85272bc4aa7d..425d89b67d52a823b11bd6d8a823eedf7cffeab8 100644 (file)
--- 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}