presentation progress

diff --git a/manual/CHAPTER_Overview.tex b/manual/CHAPTER_Overview.tex
index 7d61a1d1a1453c926e6a0d9d956e5a59df994d0b..b9df57d1c0d19bc7b42f22e4c9af1da8d31ac452 100644 (file)
--- a/manual/CHAPTER_Overview.tex
+++ b/manual/CHAPTER_Overview.tex
@@ -126,7 +126,6 @@ other object to parse the cell library.
                \node[entity] (sync) [fill=green!10, above of=case] {RTLIL::SyncRule} edge [-latex] (process);
                \node[entity] (switch) [fill=green!10, below of=case] {RTLIL::SwitchRule} edge [-latex] (case);
                \draw[latex-] (switch.east) -- ++(1em,0) |- (case.east);
-
        \end{tikzpicture}
        \caption{Simplified RTLIL Entity-Relationship Diagram}
        \label{fig:Overview_RTLIL}

diff --git a/manual/PRESENTATION_ExAdv.tex b/manual/PRESENTATION_ExAdv.tex
new file mode 100644 (file)
index 0000000..56724cc
--- /dev/null
+++ b/manual/PRESENTATION_ExAdv.tex
@@ -0,0 +1,9 @@
+
+\section{Yosys by example -- Advanced Synthesis}
+
+\begin{frame}
+\sectionpage
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+

diff --git a/manual/PRESENTATION_ExOth.tex b/manual/PRESENTATION_ExOth.tex
new file mode 100644 (file)
index 0000000..0a65edb
--- /dev/null
+++ b/manual/PRESENTATION_ExOth.tex
@@ -0,0 +1,9 @@
+
+\section{Yosys by example -- Beyond Synthesis}
+
+\begin{frame}
+\sectionpage
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+

diff --git a/manual/PRESENTATION_Intro.tex b/manual/PRESENTATION_Intro.tex
index ee82a75157b5fe5ad54394032def2086fc9febab..30565405bee66f8586deb3fd124353dbcb0680a8 100644 (file)
--- a/manual/PRESENTATION_Intro.tex
+++ b/manual/PRESENTATION_Intro.tex
@@ -214,6 +214,39 @@ as Qflow\footnote[frame]{\url{http://opencircuitdesign.com/qflow/}} for ASIC des
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+\subsection{Program Components and Data Formats}
+
+\begin{frame}{\subsecname}
+       \begin{center}
+       \begin{tikzpicture}[scale=0.6, every node/.style={transform shape}]
+               \tikzstyle{process} = [draw, fill=green!10, rectangle, minimum height=3em, minimum width=10em, node distance=15em]
+               \tikzstyle{data} = [draw, fill=blue!10, ellipse, minimum height=3em, minimum width=7em, node distance=15em]
+               \node[process] (vlog) {Verilog Frontend};
+               \node[process, dashed, fill=green!5] (vhdl) [right of=vlog] {VHDL Frontend};
+               \node[process] (ilang) [right of=vhdl] {Other Frontends};
+               \node[data] (ast) [below of=vlog, node distance=5em, xshift=7.5em] {AST};
+               \node[process] (astfe) [below of=ast, node distance=5em] {AST Frontend};
+               \node[data] (rtlil) [below of=astfe, node distance=5em, xshift=7.5em] {RTLIL};
+               \node[process] (pass) [right of=rtlil, node distance=5em, xshift=7.5em] {Passes};
+               \node[process] (vlbe) [below of=rtlil, node distance=7em, xshift=-13em] {Verilog Backend};
+               \node[process] (ilangbe) [below of=rtlil, node distance=7em, xshift=0em] {ILANG Backend};
+               \node[process, fill=green!5] (otherbe) [below of=rtlil, node distance=7em, xshift=+13em] {Other Backends};
+
+               \draw[-latex] (vlog) -- (ast);
+               \draw[-latex] (vhdl) -- (ast);
+               \draw[-latex] (ast) -- (astfe);
+               \draw[-latex] (astfe) -- (rtlil);
+               \draw[-latex] (ilang) -- (rtlil);
+               \draw[latex-latex] (rtlil) -- (pass);
+               \draw[-latex] (rtlil) -- (vlbe);
+               \draw[-latex] (rtlil) -- (ilangbe);
+               \draw[-latex] (rtlil) -- (otherbe);
+       \end{tikzpicture}
+       \end{center}
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
 \subsection{Example Synthesis Script}
 
 \begin{frame}[t]{\subsecname}

diff --git a/manual/PRESENTATION_Prog.tex b/manual/PRESENTATION_Prog.tex
new file mode 100644 (file)
index 0000000..5b74a5e
--- /dev/null
+++ b/manual/PRESENTATION_Prog.tex
@@ -0,0 +1,98 @@
+
+\section{Programming Yosys Extensions}
+
+\begin{frame}
+\sectionpage
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\subsection{Program Components and Data Formats}
+
+\begin{frame}{\subsecname}
+\begin{center}
+\begin{tikzpicture}[scale=0.6, every node/.style={transform shape}]
+       \tikzstyle{process} = [draw, fill=green!10, rectangle, minimum height=3em, minimum width=10em, node distance=15em]
+       \tikzstyle{data} = [draw, fill=blue!10, ellipse, minimum height=3em, minimum width=7em, node distance=15em]
+       \node[process] (vlog) {Verilog Frontend};
+       \node[process, dashed, fill=green!5] (vhdl) [right of=vlog] {VHDL Frontend};
+       \node[process] (ilang) [right of=vhdl] {Other Frontends};
+       \node[data] (ast) [below of=vlog, node distance=5em, xshift=7.5em] {AST};
+       \node[process] (astfe) [below of=ast, node distance=5em] {AST Frontend};
+       \node[data] (rtlil) [below of=astfe, node distance=5em, xshift=7.5em] {RTLIL};
+       \node[process] (pass) [right of=rtlil, node distance=5em, xshift=7.5em] {Passes};
+       \node[process] (vlbe) [below of=rtlil, node distance=7em, xshift=-13em] {Verilog Backend};
+       \node[process] (ilangbe) [below of=rtlil, node distance=7em, xshift=0em] {ILANG Backend};
+       \node[process, fill=green!5] (otherbe) [below of=rtlil, node distance=7em, xshift=+13em] {Other Backends};
+
+       \draw[-latex] (vlog) -- (ast);
+       \draw[-latex] (vhdl) -- (ast);
+       \draw[-latex] (ast) -- (astfe);
+       \draw[-latex] (astfe) -- (rtlil);
+       \draw[-latex] (ilang) -- (rtlil);
+       \draw[latex-latex] (rtlil) -- (pass);
+       \draw[-latex] (rtlil) -- (vlbe);
+       \draw[-latex] (rtlil) -- (ilangbe);
+       \draw[-latex] (rtlil) -- (otherbe);
+\end{tikzpicture}
+\end{center}
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\subsection{Simplified RTLIL Entity-Relationship Diagram}
+
+\begin{frame}{\subsecname}
+Between passses and frontends/backends the design in stored in Yosys' internal RTLIL (RTL Intermediate Language) format. For
+writing Yosys extensions it is key to understand this format.
+
+\bigskip
+\begin{center}
+\begin{tikzpicture}[scale=0.6, every node/.style={transform shape}]
+       \tikzstyle{entity} = [draw, fill=gray!10, rectangle, minimum height=3em, minimum width=7em, node distance=5em, font={\ttfamily}]
+       \node[entity] (design) {RTLIL::Design};
+       \node[entity] (module) [right of=design, node distance=11em] {RTLIL::Module} edge [-latex] node[above] {\tiny 1 \hskip3em N} (design);
+
+       \node[entity] (process) [fill=green!10, right of=module, node distance=10em] {RTLIL::Process} (process.west) edge [-latex] (module);
+       \node[entity] (memory) [fill=red!10, below of=process] {RTLIL::Memory} edge [-latex] (module);
+       \node[entity] (wire) [fill=blue!10, above of=process] {RTLIL::Wire} (wire.west) edge [-latex] (module);
+       \node[entity] (cell) [fill=blue!10, above of=wire] {RTLIL::Cell} (cell.west) edge [-latex] (module);
+
+       \node[entity] (case) [fill=green!10, right of=process, node distance=10em] {RTLIL::CaseRule} edge [latex-latex] (process);
+       \node[entity] (sync) [fill=green!10, above of=case] {RTLIL::SyncRule} edge [-latex] (process);
+       \node[entity] (switch) [fill=green!10, below of=case] {RTLIL::SwitchRule} edge [-latex] (case);
+       \draw[latex-] (switch.east) -- ++(1em,0) |- (case.east);
+\end{tikzpicture}
+\end{center}
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\subsection{RTLIL without memories and processes}
+
+\begin{frame}[fragile]{\subsecname}
+After the command {\tt proc} and {\tt memory} (or {\tt memory -nomap}), we are left with a much simpler version of RTLIL:
+
+\begin{center}
+\begin{tikzpicture}[scale=0.6, every node/.style={transform shape}]
+       \tikzstyle{entity} = [draw, fill=gray!10, rectangle, minimum height=3em, minimum width=7em, node distance=5em, font={\ttfamily}]
+       \node[entity] (design) {RTLIL::Design};
+       \node[entity] (module) [right of=design, node distance=11em] {RTLIL::Module} edge [-latex] node[above] {\tiny 1 \hskip3em N} (design);
+
+       \node[entity] (wire) [fill=blue!10, right of=module, node distance=10em] {RTLIL::Wire} (wire.west) edge [-latex] (module);
+       \node[entity] (cell) [fill=blue!10, above of=wire] {RTLIL::Cell} (cell.west) edge [-latex] (module);
+\end{tikzpicture}
+\end{center}
+
+\bigskip
+Many command simply choose to only work on this simpler version:
+\begin{lstlisting}[xleftmargin=0.5cm, basicstyle=\ttfamily\fontsize{8pt}{10pt}\selectfont]
+if (module->processes.size() != 0 || module->memories.size() != 0)
+    log_error("This command does not operate on modules with processes "
+              "and/or memories! Run 'proc' and 'memory' first.\n");
+\end{lstlisting}
+
+\bigskip
+So we only discuss this version of RTLIL in this presentation.
+\end{frame}
+

diff --git a/manual/presentation.tex b/manual/presentation.tex
index 049980281bafb8c134705394f86ce33aa45e9add..06f80fc638cf3436836f253c31631ecc6246a2cf 100644 (file)
--- a/manual/presentation.tex
+++ b/manual/presentation.tex
@@ -120,5 +120,8 @@ Outline of this presentation:
 
 \include{PRESENTATION_Intro}
 \include{PRESENTATION_ExSyn}
+\include{PRESENTATION_ExAdv}
+\include{PRESENTATION_ExOth}
+\include{PRESENTATION_Prog}
 
 \end{document}