diff options
Diffstat (limited to 'verilog.tex')
-rw-r--r-- | verilog.tex | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/verilog.tex b/verilog.tex index dca4d65..cf4baa4 100644 --- a/verilog.tex +++ b/verilog.tex @@ -86,3 +86,8 @@ based on what they evaluate to. For case I think that would end up being a three \label{eq:9} \inferrule[Nonblocking]{\text{name}\ \mathit{lhs} = \mathtt{OK}\ n \\ \text{erun}\ f\ \Gamma\ \mathit{rhs}\ v_{\mathit{rhs}}}{\text{srun}\ f\ (\Gamma, \Delta)\ (\mathtt{Vnonblock}\ \mathit{lhs}\ \mathit{rhs}) (\Gamma, \Delta ! n \rightarrow v_{\mathit{rhs}})} \end{equation} + +%%% Local Variables: +%%% mode: latex +%%% TeX-master: "main" +%%% End: |