presentation progress

diff --git a/manual/PRESENTATION_ExSyn.tex b/manual/PRESENTATION_ExSyn.tex
index 3440bbf19f8b7ea1553a22da37ddc46d12de669f..66ee180468dd2afdedde3932b72068be3ee17da3 100644 (file)
--- a/manual/PRESENTATION_ExSyn.tex
+++ b/manual/PRESENTATION_ExSyn.tex
@@ -101,7 +101,39 @@ proc_clean      # if all went fine, this should remove all the processes
 Many commands can not operate on modules with ``processes'' in them. Usually
 a call to {\tt proc} is the first command in the actual synthesis procedure
 after design elaboration.
+\end{frame}
+
+\begin{frame}[fragile]{\subsecname{} -- Example 1/TBD}
+\begin{columns}
+\column[t]{5cm}
+\lstinputlisting[basicstyle=\ttfamily\fontsize{8pt}{10pt}\selectfont, language=verilog]{PRESENTATION_ExSyn/proc_00.v}
+\column[t]{5cm}
+\lstinputlisting[basicstyle=\ttfamily\fontsize{8pt}{10pt}\selectfont, frame=single]{PRESENTATION_ExSyn/proc_00.ys}
+\end{columns}
+% \includegraphics[width=\linewidth,trim=0 0cm 0 0cm]{PRESENTATION_ExSyn/proc_00.pdf}
+\hfil\includegraphics[width=8cm,trim=0 0cm 0 0cm]{PRESENTATION_ExSyn/proc_00.pdf}
+\end{frame}
+
+\begin{frame}[t, fragile]{\subsecname{} -- Example 2/TBD}
+\vbox to 0cm{\includegraphics[width=\linewidth,trim=0cm 0cm 0cm -2.5cm]{PRESENTATION_ExSyn/proc_01.pdf}}
+\vskip-1cm
+\begin{columns}
+\column[t]{5cm}
+\lstinputlisting[basicstyle=\ttfamily\fontsize{8pt}{10pt}\selectfont, language=verilog]{PRESENTATION_ExSyn/proc_01.v}
+\column[t]{5cm}
+\lstinputlisting[basicstyle=\ttfamily\fontsize{8pt}{10pt}\selectfont, frame=single]{PRESENTATION_ExSyn/proc_01.ys}
+\end{columns}
+\end{frame}
 
+\begin{frame}[t, fragile]{\subsecname{} -- Example 3/TBD}
+\vbox to 0cm{\includegraphics[width=\linewidth,trim=0cm 0cm 0cm -1.5cm]{PRESENTATION_ExSyn/proc_02.pdf}}
+\vskip-1cm
+\begin{columns}
+\column[t]{5cm}
+\lstinputlisting[basicstyle=\ttfamily\fontsize{8pt}{10pt}\selectfont, frame=single]{PRESENTATION_ExSyn/proc_02.ys}
+\column[t]{5cm}
+\lstinputlisting[basicstyle=\ttfamily\fontsize{8pt}{10pt}\selectfont, language=verilog]{PRESENTATION_ExSyn/proc_02.v}
+\end{columns}
 \end{frame}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

diff --git a/manual/PRESENTATION_ExSyn/.gitignore b/manual/PRESENTATION_ExSyn/.gitignore
new file mode 100644 (file)
index 0000000..cf65889
--- /dev/null
+++ b/manual/PRESENTATION_ExSyn/.gitignore
@@ -0,0 +1 @@
+*.dot

diff --git a/manual/PRESENTATION_ExSyn/Makefile b/manual/PRESENTATION_ExSyn/Makefile
new file mode 100644 (file)
index 0000000..0450075
--- /dev/null
+++ b/manual/PRESENTATION_ExSyn/Makefile
@@ -0,0 +1,12 @@
+
+all: proc_00.pdf proc_01.pdf proc_02.pdf
+
+proc_00.pdf: proc_00.v proc_00.ys
+       ../../yosys -p 'script proc_00.ys; show -notitle -prefix proc_00 -format pdf'
+
+proc_01.pdf: proc_01.v proc_01.ys
+       ../../yosys -p 'script proc_01.ys; show -notitle -prefix proc_01 -format pdf'
+
+proc_02.pdf: proc_02.v proc_02.ys
+       ../../yosys -p 'script proc_02.ys; show -notitle -prefix proc_02 -format pdf'
+

diff --git a/manual/PRESENTATION_ExSyn/proc_00.v b/manual/PRESENTATION_ExSyn/proc_00.v
new file mode 100644 (file)
index 0000000..6128631
--- /dev/null
+++ b/manual/PRESENTATION_ExSyn/proc_00.v
@@ -0,0 +1,7 @@
+module test(input D, C, R, output reg Q);
+    always @(posedge C, posedge R)
+        if (R)
+           Q <= 0;
+       else
+           Q <= D;
+endmodule

diff --git a/manual/PRESENTATION_ExSyn/proc_00.ys b/manual/PRESENTATION_ExSyn/proc_00.ys
new file mode 100644 (file)
index 0000000..6440efd
--- /dev/null
+++ b/manual/PRESENTATION_ExSyn/proc_00.ys
@@ -0,0 +1,3 @@
+read_verilog proc_00.v
+hierarchy -check -top test
+proc;;

diff --git a/manual/PRESENTATION_ExSyn/proc_01.v b/manual/PRESENTATION_ExSyn/proc_01.v
new file mode 100644 (file)
index 0000000..8e440f6
--- /dev/null
+++ b/manual/PRESENTATION_ExSyn/proc_01.v
@@ -0,0 +1,8 @@
+module test(input D, C, R, RV,
+            output reg Q);
+    always @(posedge C, posedge R)
+        if (R)
+           Q <= RV;
+       else
+           Q <= D;
+endmodule

diff --git a/manual/PRESENTATION_ExSyn/proc_01.ys b/manual/PRESENTATION_ExSyn/proc_01.ys
new file mode 100644 (file)
index 0000000..c22a2fd
--- /dev/null
+++ b/manual/PRESENTATION_ExSyn/proc_01.ys
@@ -0,0 +1,3 @@
+read_verilog proc_01.v
+hierarchy -check -top test
+proc;;

diff --git a/manual/PRESENTATION_ExSyn/proc_02.v b/manual/PRESENTATION_ExSyn/proc_02.v
new file mode 100644 (file)
index 0000000..a89c965
--- /dev/null
+++ b/manual/PRESENTATION_ExSyn/proc_02.v
@@ -0,0 +1,10 @@
+module test(input A, B, C, D, E,
+            output reg Y);
+    always @* begin
+       Y <= A;
+       if (B)
+           Y <= C;
+       if (D)
+           Y <= E;
+    end
+endmodule

diff --git a/manual/PRESENTATION_ExSyn/proc_02.ys b/manual/PRESENTATION_ExSyn/proc_02.ys
new file mode 100644 (file)
index 0000000..823b18d
--- /dev/null
+++ b/manual/PRESENTATION_ExSyn/proc_02.ys
@@ -0,0 +1,3 @@
+read_verilog proc_02.v
+hierarchy -check -top test
+proc;;

diff --git a/manual/presentation.sh b/manual/presentation.sh
index 530d0b8c0849e06c14645cc3f01ed2fd5a10a8aa..6719f916dcb199b5b7fb5c84cd3a749ce57b892a 100755 (executable)
--- a/manual/presentation.sh
+++ b/manual/presentation.sh
@@ -27,6 +27,7 @@ PDFTEX_OPT="-shell-escape -halt-on-error"
 if ! $fast_mode; then
        md5sum *.aux *.snm *.nav *.toc > autoloop.old
        make -C PRESENTATION_Intro
+       make -C PRESENTATION_ExSyn
 fi
 
 set -ex