diff options
-rw-r--r-- | main.tex | 18 |
1 files changed, 11 insertions, 7 deletions
@@ -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 |