From 9f6364c1c4f268043536adf1b675da0994ee268e Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Wed, 5 Feb 2014 13:12:50 +0100 Subject: [PATCH] presentation progress --- manual/PRESENTATION_ExAdv.tex | 66 +++++++++++++++++++++ manual/PRESENTATION_ExOth.tex | 51 ++++++++++++++++ manual/PRESENTATION_ExSyn.tex | 7 +-- manual/PRESENTATION_Intro.tex | 6 +- manual/PRESENTATION_Prog.tex | 108 +++++++++++++++++++++++++++++++++- 5 files changed, 230 insertions(+), 8 deletions(-) diff --git a/manual/PRESENTATION_ExAdv.tex b/manual/PRESENTATION_ExAdv.tex index 56724ccd6..76df120d0 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 0a65edb97..83bd82e3f 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 4c19c48b9..f183da936 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 1d0a60619..ea6231aca 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 250d2c373..e9f86d0d7 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} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + -- 2.30.2