mirror of https://github.com/YosysHQ/yosys.git
61 lines
1.0 KiB
TeX
61 lines
1.0 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
|
|
\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}
|
|
|
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
|