summaryrefslogtreecommitdiff
path: root/manual
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-02-05 13:12:50 +0100
committerClifford Wolf <clifford@clifford.at>2014-02-05 13:12:50 +0100
commit9f6364c1c4f268043536adf1b675da0994ee268e (patch)
tree37360b0dec8762284dfaece896e77ada2bff47b2 /manual
parentaa8e754ae5f1c660480ba684a157ed8d2d2f32cb (diff)
presentation progress
Diffstat (limited to 'manual')
-rw-r--r--manual/PRESENTATION_ExAdv.tex66
-rw-r--r--manual/PRESENTATION_ExOth.tex51
-rw-r--r--manual/PRESENTATION_ExSyn.tex7
-rw-r--r--manual/PRESENTATION_Intro.tex6
-rw-r--r--manual/PRESENTATION_Prog.tex108
5 files changed, 230 insertions, 8 deletions
diff --git a/manual/PRESENTATION_ExAdv.tex b/manual/PRESENTATION_ExAdv.tex
index 56724ccd..76df120d 100644
--- a/manual/PRESENTATION_ExAdv.tex
+++ b/manual/PRESENTATION_ExAdv.tex
@@ -5,5 +5,71 @@
\sectionpage
\end{frame}
+\begin{frame}{Overview}
+This section contains 4 subsections:
+\begin{itemize}
+\item Using selections
+\item Advanced uses of techmap
+\item Coarse-grain synthesis
+\item Automatic design changes
+\end{itemize}
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\subsection{Using selections}
+
+\begin{frame}
+\subsectionpage
+\end{frame}
+
+\subsubsection{TBD}
+
+\begin{frame}{\subsubsecname}
+TBD
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\subsection{Advanced uses of techmap}
+
+\begin{frame}
+\subsectionpage
+\end{frame}
+
+\subsubsection{TBD}
+
+\begin{frame}{\subsubsecname}
+TBD
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\subsection{Coarse-grain synthesis}
+
+\begin{frame}
+\subsectionpage
+\end{frame}
+
+\subsubsection{TBD}
+
+\begin{frame}{\subsubsecname}
+TBD
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\subsection{Automatic design changes}
+
+\begin{frame}
+\subsectionpage
+\end{frame}
+
+\subsubsection{TBD}
+
+\begin{frame}{\subsubsecname}
+TBD
+\end{frame}
+
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
diff --git a/manual/PRESENTATION_ExOth.tex b/manual/PRESENTATION_ExOth.tex
index 0a65edb9..83bd82e3 100644
--- a/manual/PRESENTATION_ExOth.tex
+++ b/manual/PRESENTATION_ExOth.tex
@@ -5,5 +5,56 @@
\sectionpage
\end{frame}
+\begin{frame}{Overview}
+This section contains 3 subsections:
+\begin{itemize}
+\item Interactive Design Investigation
+\item Symbolic Model Checking
+\item Reverse Engineering
+\end{itemize}
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\subsection{Interactive Design Investigation}
+
+\begin{frame}
+\subsectionpage
+\end{frame}
+
+\subsubsection{TBD}
+
+\begin{frame}{\subsubsecname}
+TBD
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\subsection{Symbolic Model Checking}
+
+\begin{frame}
+\subsectionpage
+\end{frame}
+
+\subsubsection{TBD}
+
+\begin{frame}{\subsubsecname}
+TBD
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\subsection{Reverse Engineering}
+
+\begin{frame}
+\subsectionpage
+\end{frame}
+
+\subsubsection{TBD}
+
+\begin{frame}{\subsubsecname}
+TBD
+\end{frame}
+
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
diff --git a/manual/PRESENTATION_ExSyn.tex b/manual/PRESENTATION_ExSyn.tex
index 4c19c48b..f183da93 100644
--- a/manual/PRESENTATION_ExSyn.tex
+++ b/manual/PRESENTATION_ExSyn.tex
@@ -479,12 +479,11 @@ iopadmap -outpad OBUF I:O -inpad IBUF O:I @xl_nonclocks
write_edif synth.edif
\end{lstlisting}
\column[t]{6cm}
+\vskip1cm
\begin{block}{Teaser / Outlook}
\small\parbox{6cm}{
-This script contains some constructs that have not been explained
-so far, such as the weird {\tt select} expressions at the end of
-the script. They are only one of the topics covered in Section 3
-``Advanced Synthesis'' of this presentation.}
+The weird {\tt select} expressions at the end of this script are discussed in
+the next part (Section 3, ``Advanced Synthesis'') of this presentation.}
\end{block}
\end{columns}
\end{frame}
diff --git a/manual/PRESENTATION_Intro.tex b/manual/PRESENTATION_Intro.tex
index 1d0a6061..ea6231ac 100644
--- a/manual/PRESENTATION_Intro.tex
+++ b/manual/PRESENTATION_Intro.tex
@@ -418,7 +418,7 @@ clean
\subsection{Yosys Commands}
-\begin{frame}[fragile]{\subsecname{} 1/3}
+\begin{frame}[fragile]{\subsecname{} 1/3 \hspace{0pt plus 1 filll} (excerpt)}
Command reference:
\begin{itemize}
\item Use ``{\tt help}'' for a command list and ``{\tt help \it command}'' for details.
@@ -446,7 +446,7 @@ Commands for executing scripts or entering interactive mode:
\end{lstlisting}
\end{frame}
-\begin{frame}[fragile]{\subsecname{} 2/3}
+\begin{frame}[fragile]{\subsecname{} 2/3 \hspace{0pt plus 1 filll} (excerpt)}
Commands for reading and elaborating the design:
\begin{lstlisting}[xleftmargin=1cm, basicstyle=\ttfamily\fontsize{8pt}{10pt}\selectfont]
read_ilang read modules from ilang file
@@ -475,7 +475,7 @@ Commands for technology mapping:
\end{lstlisting}
\end{frame}
-\begin{frame}[fragile]{\subsecname{} 3/3}
+\begin{frame}[fragile]{\subsecname{} 3/3 \hspace{0pt plus 1 filll} (excerpt)}
Commands for writing the results:
\begin{lstlisting}[xleftmargin=1cm, basicstyle=\ttfamily\fontsize{8pt}{10pt}\selectfont]
write_blif write design to BLIF file
diff --git a/manual/PRESENTATION_Prog.tex b/manual/PRESENTATION_Prog.tex
index 250d2c37..e9f86d0d 100644
--- a/manual/PRESENTATION_Prog.tex
+++ b/manual/PRESENTATION_Prog.tex
@@ -7,6 +7,14 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\subsection{Why writing Yosys extensions?}
+
+\begin{frame}{\subsecname}
+TBD
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
\subsection{Program Components and Data Formats}
\begin{frame}{\subsecname}
@@ -66,7 +74,7 @@ writing Yosys extensions it is key to understand this format.
\end{center}
\end{frame}
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\subsection{RTLIL without memories and processes}
@@ -96,3 +104,101 @@ if (module->processes.size() != 0 || module->memories.size() != 0)
For simplicity we only discuss this version of RTLIL in this presentation.
\end{frame}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\subsection{Using dump and show commands}
+
+\begin{frame}{\subsecname}
+TBD
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\subsection{The RTLIL::Const Structure}
+
+\begin{frame}{\subsecname}
+TBD
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\subsection{The RTLIL::SigSpec Structure}
+
+\begin{frame}{\subsecname}
+TBD
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\subsection{RTLIL::Design, RTLIL::Module}
+
+\begin{frame}{\subsecname}
+TBD
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\subsection{RTLIL::Wire and connections}
+
+\begin{frame}{\subsecname}
+TBD
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\subsection{RTLIL::Cell}
+
+\begin{frame}{\subsecname}
+TBD
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\subsection{Creating modules from scratch}
+
+\begin{frame}{\subsecname}
+TBD
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\subsection{Modifying modules}
+
+\begin{frame}{\subsecname}
+TBD
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\subsection{Using the SigMap helper class}
+
+\begin{frame}{\subsecname}
+TBD
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\subsection{Printing log messages}
+
+\begin{frame}{\subsecname}
+TBD
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\subsection{Creating a command}
+
+\begin{frame}{\subsecname}
+TBD
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\subsection{Creating a plugin}
+
+\begin{frame}{\subsecname}
+TBD
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+