1 parent 0dc1021 commit 3a0da28Copy full SHA for 3a0da28
1 file changed
paper.tex
@@ -829,6 +829,7 @@ \subsection{Compression Algorithms For Fast Arithmetic}
829
The next sections will explain the integration into CIRCT and the results of the verified synthesis of multipliers.
830
831
\section{Integration}
832
+\sam{No need for subsection now if we're not doing two case studies!}
833
834
\subsection{Datapath Synthesis Engine}
835
We integrate our verified synthesizer into \sam{the} CIRCT compiler framework, and make our contributions open-source.
0 commit comments