diff options
author | Clifford Wolf <clifford@clifford.at> | 2015-08-14 10:56:05 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2015-08-14 10:56:05 +0200 |
commit | 84bf862f7c58c2b69babf043ff5032f924a3ee4d (patch) | |
tree | c19a405bc106c2472f1aaa46c36b189db3e5223f /manual/CHAPTER_Approach.tex | |
parent | 80910d13a610886f4430fbd991ada78b2e586ada (diff) |
Spell check (by Larry Doolittle)
Diffstat (limited to 'manual/CHAPTER_Approach.tex')
-rw-r--r-- | manual/CHAPTER_Approach.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/manual/CHAPTER_Approach.tex b/manual/CHAPTER_Approach.tex index 69122580..4b170ee0 100644 --- a/manual/CHAPTER_Approach.tex +++ b/manual/CHAPTER_Approach.tex @@ -59,7 +59,7 @@ script. \section{Internal Formats in Yosys} -Yosys uses two different internal formats. The first is used to store an abstract syntax tree (AST) of a verilog +Yosys uses two different internal formats. The first is used to store an abstract syntax tree (AST) of a Verilog input file. This format is simply called {\it AST} and is generated by the Verilog Frontend. This data structure is consumed by a subsystem called {\it AST Frontend}\footnote{In Yosys the term {\it pass} is only used to refer to commands that operate on the RTLIL data structure.}. This AST Frontend then generates a design in Yosys' @@ -107,7 +107,7 @@ from the input file {\tt design.v} to a gate-level netlist {\tt synth.v} using t described by the Liberty file \citeweblink{LibertyFormat} {\tt cells.lib}: \begin{lstlisting}[language=sh,numbers=left,frame=single] -# read input file tpo internal representation +# read input file to internal representation read_verilog design.v # convert high-level behavioral parts ("processes") to d-type flip-flops and muxes |