\includegraphics[width=\linewidth,trim=0 0cm 0 0cm]{PRESENTATION_Intro/counter_03.pdf}
\end{frame}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\subsection{More Yosys Commands}
+
+\begin{frame}{\subsecname{} -- TBD}
+TBD
+\end{frame}
+
+\subsection{More Verilog Examples}
+
+\begin{frame}{\subsecname{} -- TBD}
+TBD
+\end{frame}
+
+\subsection{Verification}
+
+\begin{frame}{\subsecname{} -- VlogHammer}
+TBD
+\end{frame}
+
+\begin{frame}{\subsecname{} -- yosys-bigsim}
+TBD
+\end{frame}
+
+\subsection{Benefits of Open Source HDL Synthesis}
+
+\begin{frame}{\subsecname}
+TBD
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
read_verilog counter.v
hierarchy -check -top counter
-show -format pdf -prefix counter_00
+show -stretch -format pdf -prefix counter_00
# the high-level stuff
proc; opt; memory; opt; fsm; opt
-show -format pdf -prefix counter_01
+show -stretch -format pdf -prefix counter_01
# mapping to internal cell library
techmap; splitnets -ports; opt
-show -format pdf -prefix counter_02
+show -stretch -format pdf -prefix counter_02
# mapping flip-flops to mycells.lib
dfflibmap -liberty mycells.lib
# cleanup
clean
-show -lib mycells.v -format pdf -prefix counter_03
+show -stretch -lib mycells.v -format pdf -prefix counter_03