From 4cd3ee0eafd7917b43424105fe0b3e6db2936f5a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= <contact@tobast.fr>
Date: Thu, 7 Sep 2017 19:18:31 +0200
Subject: [PATCH] A few more slides

---
 slides/slides.tex | 41 +++++++++++++++++++++++++++++++++++++++--
 1 file changed, 39 insertions(+), 2 deletions(-)

diff --git a/slides/slides.tex b/slides/slides.tex
index b4c690a..5d7bc69 100644
--- a/slides/slides.tex
+++ b/slides/slides.tex
@@ -75,7 +75,7 @@
 
 \section{Problème}
 
-\begin{frame}
+\begin{frame}{Problèmes}
     Deux problèmes à résoudre~:
 
     \begin{enumerate}[A]
@@ -94,14 +94,51 @@
     \end{itemize}
 \end{frame}
 
+\begin{frame}{Forme des circuits}
+    \begin{itemize}
+        \item Portes, plusieurs types (combinatoire, tristate, délai,
+            assertion)
+        \item Plusieurs pins par porte
+        \item Fil~: plusieurs pins connectés \\
+            ($\implies$ pas un graphe immédiatement)
+        \item \alert{Niveaux de hiérarchie}~: porte \og{}groupe~\fg{}
+    \end{itemize}
+\end{frame}
+
 \section{Approche de résolution}
 
 \begin{frame}{Approche générale}
+    \begin{itemize}
+        \item \alert{Signatures}~: valeur 64 bits décrivant une porte du
+            circuit. \\
+            Rapide à calculer, rapide à comparer. \\
+            Le plus discriminant possible.
+
+            \pause{}\vspace{1em}
+
+        \item \alert{Égalité}~: test des permutations, guidé par
+            signatures. \\
+            Interagit avec les signatures.
+
+            \pause{}\vspace{1em}
+
+        \item \alert{Recherche}~: algorithme d'Ullmann, guidé par signatures.
+    \end{itemize}
 \end{frame}
 
 \subsection{Signatures}
 
-\begin{frame}
+\begin{frame}{Signature}
+    \begin{itemize}
+        \item Doit ignorer la \emph{représentation} du graphe
+        \item Doit capturer tout ce qui est \emph{inhérent} au circuit
+        \item Oublier les \emph{noms}, \emph{identifiants}~; on oublie les
+            \alert{ordres}.
+
+            \vspace{1em}
+
+        \item TODO
+    \end{itemize}
 \end{frame}
 
 \subsection{Égalité de groupes}