blob: 36ebc707daed5aa820bdaee2e235381cdcd4745c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
\def\eqdef{\stackrel{\mathrm{def}}{=}}
\def\instrop{\mathit{instr}}
\def\instr#1#2{\instrop(#1)(#2)}
\def\incpcop{\mathit{incpc}}
\def\incpc#1#2{\incpcop_#1(#2)}
\def\update#1#2{#1[#2]}
\def\ALUOp{\mathit{ALUOp}}
\def\Word#1{\mathit{Word}_#1}
\def\Prog{\mathit{Prog}}
\def\prog{\mathit{prog}}
\def\State{\mathit{State}}
\def\st{\mathit{st}}
\def\Mem{\mathit{Mem}}
\def\mem{\mathit{mem}}
\def\pc{\mathit{pc}}
\def\acc#1{\mathit{acc}_#1}
\DeclareMathOperator{\rol}{rol}
\DeclareMathOperator{\shl}{shl}
|
