Try adding some inferrence rules

1 files changed, 11 insertions, 7 deletions

diff --git a/main.tex b/main.tex
index a321c7b..20d415a 100644
--- a/main.tex
+++ b/main.tex
@@ -47,12 +47,10 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 
-%% Some recommended packages.
-\usepackage{booktabs}   %% For formal tables:
-                        %% http://ctan.org/pkg/booktabs
-\usepackage{subcaption} %% For complex figures with subfigures/subcaptions
-                        %% http://ctan.org/pkg/subcaption
-
+\usepackage{amsmath}
+\usepackage{booktabs}
+\usepackage{mathpartir}
+\usepackage{subcaption}
 
 \begin{document}
 
@@ -189,8 +187,14 @@
 
 \section{Introduction}
 
-Text of paper \ldots
+\section{Verilog Semantics}
 
+\begin{align}
+  \label{eq:1}
+  \inferrule[Skip]{ }{\text{stmntrun}\ f\ a\ \text{Vskip}\ a} \\
+  \inferrule[CondTrue]{\text{exprrun}\ f\ \Delta\ c\ vc \\ \text{valToB}\ vc = \text{false} \\
+  \text{stmntrun}\ f\ as0\ stf\ as1}{\text{stmntrun}\ f\ as0\ (\text{Vcond}\ c\ stt\ stf)\ as1}
+\end{align}
 
 %% Acknowledgments
 \begin{acks}                            %% acks environment is optional