Some ASCII encoding fixes (comments and docs) by Larry Doolittle
authorClifford Wolf <clifford@clifford.at>
Thu, 13 Aug 2015 07:30:20 +0000 (09:30 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 13 Aug 2015 07:30:20 +0000 (09:30 +0200)
manual/APPNOTE_010_Verilog_to_BLIF.tex
passes/cmds/scc.cc
passes/techmap/abc.cc
tests/asicworld/code_hdl_models_up_counter.v

index 3e36fa386b59bc7af27a07863e2601060c1e912b..0ecdf61942245810f0663fc674da99ad96e44713 100644 (file)
@@ -100,7 +100,7 @@ regression testing Yosys.
 
 \section{Getting Started}
 
-We start our tour with the Navré processor from yosys-bigsim. The Navré
+We start our tour with the Navr\'e processor from yosys-bigsim. The Navr\'e
 processor \cite{navre} is an Open Source AVR clone. It is a single module ({\tt
 softusb\_navre}) in a single design file ({\tt softusb\_navre.v}). It also is
 using only features that map nicely to the BLIF format, for example it only
@@ -226,7 +226,7 @@ further processed using custom commands. But in this case we don't want that.
 \medskip
 
 So now we have the final synthesis script for generating a BLIF file
-for the Navré CPU:
+for the Navr\'e CPU:
 
 \begin{figure}[H]
 \begin{lstlisting}[language=sh]
@@ -445,7 +445,7 @@ yosys-bigsim, a collection of real-world Verilog designs for regression testing
 \url{https://github.com/cliffordwolf/yosys-bigsim}
 
 \bibitem{navre}
-Sebastien Bourdeauducq. Navré AVR clone (8-bit RISC). \\
+Sebastien Bourdeauducq. Navr\'e AVR clone (8-bit RISC). \\
 \url{http://opencores.org/project,navre}
 
 \bibitem{amber}
index 4acb5aef5f06adbf1487ad4efd836810682f1ba4..43a43b4fc7bbdbd3fcc10c255483ce293258c44b 100644 (file)
@@ -18,7 +18,7 @@
  */
 
 // [[CITE]] Tarjan's strongly connected components algorithm
-// Tarjan, R. E. (1972), "Depth-first search and linear graph algorithms", SIAM Journal on Computing 1 (2): 146160, doi:10.1137/0201010
+// Tarjan, R. E. (1972), "Depth-first search and linear graph algorithms", SIAM Journal on Computing 1 (2): 146-160, doi:10.1137/0201010
 // http://en.wikipedia.org/wiki/Tarjan's_strongly_connected_components_algorithm
 
 #include "kernel/register.h"
index 1449f2e8a13797ac6bc5133d073b392e1d467e08..c19593f05b5106ae5f1b6186aaa5ccf808f5f25d 100644 (file)
@@ -26,7 +26,7 @@
 // http://www.ece.cmu.edu/~ee760/760docs/blif.pdf
 
 // [[CITE]] Kahn's Topological sorting algorithm
-// Kahn, Arthur B. (1962), "Topological sorting of large networks", Communications of the ACM 5 (11): 558562, doi:10.1145/368996.369025
+// Kahn, Arthur B. (1962), "Topological sorting of large networks", Communications of the ACM 5 (11): 558-562, doi:10.1145/368996.369025
 // http://en.wikipedia.org/wiki/Topological_sorting
 
 #define ABC_COMMAND_LIB "strash; scorr; ifraig; retime {D}; strash; dch -f; map {D}"
index ffe6709941e2cdebfc5e44be09af8093696b038e..e05302182383926097f5a30a6fb80393ba56fe6a 100644 (file)
@@ -2,7 +2,7 @@
 // Design Name : up_counter
 // File Name   : up_counter.v
 // Function    : Up counter
-// Coder      : Deepak
+// Coder       : Deepak
 //-----------------------------------------------------
 module up_counter    (
 out     ,  // Output of the counter