diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-06-25 22:56:30 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-06-25 22:56:30 +0100 |
| commit | 4628ae2ef503f8496a7da47e4a3ee1f2a7d98223 (patch) | |
| tree | cebbaaad042ed4adbdd7cb746b88300d6ee09101 /verilog.tex | |
| parent | 3377309317c3e309bd9637e7595f048c4e2340c9 (diff) | |
| download | oopsla21_fvhls-4628ae2ef503f8496a7da47e4a3ee1f2a7d98223.tar.gz oopsla21_fvhls-4628ae2ef503f8496a7da47e4a3ee1f2a7d98223.zip | |
Add annotations to tex files
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: |