blob: 60e21bbac1dcd6da047425118048371db12b57df (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
\ifCOMMENTS
\subsection{\textcolor{red!75!black}{Verilog notes}}
\JW{The `Skip' rule has an erroneous $=$.}\YH{Done}
\JW{You could use a bit of colour here, e.g. the keywords like `if' could be coloured for readability.}\YH{Done}
\JW{The difference between `s' and `st' is hard to remember, since both are prefixes of both `state' and `statement'! It's quite common to use `$\sigma$' for states, so you might consider `$s$' and `$\sigma$' for statements and states?}\YH{That is true, changed it to use $\sigma$.}
\JW{The function update syntax is not familiar to me, but perhaps it is what is used in Coq? More typical would be `$\Delta[n\mapsto v]$'.}\YH{I was actually thinking of using a custom merge syntax using //, but that notation is better. I think I might still use // for merge, just need to explain it somewhere.}
\fi
|
