spec/sm/display.tex

   1 \documentclass{minimal}
   2 \pagestyle{empty}
   3
   4 \usepackage{pstricks}
   5 \usepackage{pst-node}
   6
   7 \begin{document}
   8
   9 \begin{psmatrix}[mnode=oval, colsep=2cm, rowsep=2cm]
  10 [mnode=R,name=vars]{int z:=0, s;} &
  11 [name=eingaddr]{\shortstack{\textbf{addr\_eingabe}}} \\
  12 %%
  13 [mnode=R,name=res]{sys\_res\_n} &
  14 [name=idle]{\shortstack{\textbf{idle}\\s:=0;}} &
  15 [name=zeile]{\shortstack{\textbf{read/put}\\s++;}} \\
  16 %%
  17 & [name=ergaddr]{\shortstack{\textbf{addr\_result}}} \\
  18 \end{psmatrix}
  19
  20 \psset{arrows=->, shortput=nab}
  21
  22 \ncline[linestyle=dotted]{res}{idle}
  23
  24 \ncarc[arcangle=0]{zeile}{idle}\ncput*[npos=.50]{$s>71$}
  25 \nccircle[angleA=0]{zeile}{.80cm}\ncput*[npos=0.5]{$s\le71$}
  26
  27 \ncarc[arcangle=0]{idle}{eingaddr}\ncput*[npos=.50]{d\_new\_eingabe$\uparrow$}
  28 \ncarc[arcangle=0]{idle}{ergaddr}\ncput*[npos=.50]{d\_new\_result$\uparrow$}
  29
  30 \ncarc[arcangle=0]{eingaddr}{zeile}
  31 \ncarc[arcangle=0]{ergaddr}{zeile}
  32 \end{document}