mirror of https://github.com/YosysHQ/yosys.git
87 lines
1.4 KiB
TeX
87 lines
1.4 KiB
TeX
|
|
\section{Yosys by example -- Beyond Synthesis}
|
|
|
|
\begin{frame}
|
|
\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
|
|
\subsectionpagesuffix
|
|
\end{frame}
|
|
|
|
\subsubsection{TBD}
|
|
|
|
\begin{frame}{\subsubsecname}
|
|
TBD
|
|
\end{frame}
|
|
|
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
|
|
\subsection{Symbolic Model Checking}
|
|
|
|
\begin{frame}
|
|
\subsectionpage
|
|
\subsectionpagesuffix
|
|
\end{frame}
|
|
|
|
\subsubsection{TBD}
|
|
|
|
\begin{frame}{\subsubsecname}
|
|
TBD
|
|
\end{frame}
|
|
|
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
|
|
\subsection{Reverse Engineering}
|
|
|
|
\begin{frame}
|
|
\subsectionpage
|
|
\subsectionpagesuffix
|
|
\end{frame}
|
|
|
|
\subsubsection{TBD}
|
|
|
|
\begin{frame}{\subsubsecname}
|
|
TBD
|
|
\end{frame}
|
|
|
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
|
|
\subsection{Summary}
|
|
|
|
\begin{frame}{\subsecname}
|
|
\begin{itemize}
|
|
\item TBD
|
|
\item TBD
|
|
\item TBD
|
|
\item TBD
|
|
\end{itemize}
|
|
|
|
\bigskip
|
|
\bigskip
|
|
\begin{center}
|
|
Questions?
|
|
\end{center}
|
|
|
|
\bigskip
|
|
\bigskip
|
|
\begin{center}
|
|
\url{http://www.clifford.at/yosys/}
|
|
\end{center}
|
|
\end{frame}
|
|
|