Witch of Git - sigbovik-nan-2020/blob - figures/toggle-nan3-4.dot

   1 digraph "toggle" {
   2 label="toggle";
   3 rankdir="LR";
   4 remincross=true;
   5 n2;
   6 {rank=same; x0; x2; x4};
   7 {rank=same; c23; c24; c25};
   8 n8 [ shape=octagon, label="clk", color="black", fontcolor="black" ];
   9 n9 [ shape=octagon, label="en", color="black", fontcolor="black" ];
  10 n10 [ shape=octagon, label="out", color="black", fontcolor="black" ];
  11 c14 [ shape=record, label="{{<p11> A|<p12> B}|$56\n$NaN|{<p13> Y}}" ];
  12 c15 [ shape=record, label="{{<p11> A|<p12> B}|$57\n$NaN|{<p13> Y}}" ];
  13 c16 [ shape=record, label="{{<p11> A|<p12> B}|$58\n$NaN|{<p13> Y}}" ];
  14 c17 [ shape=record, label="{{<p11> A|<p12> B}|$59\n$NaN|{<p13> Y}}" ];
  15 c18 [ shape=record, label="{{<p11> A|<p12> B}|$60\n$NaN|{<p13> Y}}" ];
  16 c19 [ shape=record, label="{{<p11> A}|$92\n$f2b|{<p13> Y}}" ];
  17 c23 [ shape=record, label="{{<p20> C|<p21> D}|$96\n$_DFF_P_|{<p22> Q}}" ];
  18 x0 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
  19 x0:e -> c23:p21:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
  20 x1 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
  21 c23:p22:e -> x1:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
  22 c24 [ shape=record, label="{{<p20> C|<p21> D}|$97\n$_DFF_P_|{<p22> Q}}" ];
  23 x2 [ shape=record, style=rounded, label="<s0> 1:1 - 0:0 " ];
  24 x2:e -> c24:p21:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
  25 x3 [ shape=record, style=rounded, label="<s0> 0:0 - 1:1 " ];
  26 c24:p22:e -> x3:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
  27 c25 [ shape=record, label="{{<p20> C|<p21> D}|$98\n$_DFF_P_|{<p22> Q}}" ];
  28 x4 [ shape=record, style=rounded, label="<s0> 2:2 - 0:0 " ];
  29 x4:e -> c25:p21:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
  30 x5 [ shape=record, style=rounded, label="<s0> 0:0 - 2:2 " ];
  31 c25:p22:e -> x5:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
  32 c26 [ shape=record, label="{{<p11> A}|$61\n$b2f|{<p13> Y}}" ];
  33 n1 [ shape=point ];
  34 x1:s0:e -> n1:w [color="black", label=""];
  35 x3:s0:e -> n1:w [color="black", label=""];
  36 x5:s0:e -> n1:w [color="black", label=""];
  37 n1:e -> c15:p11:w [color="black", label=""];
  38 n1:e -> c15:p12:w [color="black", label=""];
  39 n1:e -> c17:p12:w [color="black", label=""];
  40 n1:e -> c19:p11:w [color="black", label=""];
  41 c19:p13:e -> n10:w [color="black", label=""];
  42 n2 [ shape=point ];
  43 c18:p13:e -> n2:w [color="black", label=""];
  44 n2:e -> x0:s0:w [color="black", label=""];
  45 n2:e -> x2:s0:w [color="black", label=""];
  46 n2:e -> x4:s0:w [color="black", label=""];
  47 n3 [ shape=point ];
  48 c26:p13:e -> n3:w [color="black", style="setlinewidth(3)", label=""];
  49 n3:e -> c14:p11:w [color="black", style="setlinewidth(3)", label=""];
  50 n3:e -> c14:p12:w [color="black", style="setlinewidth(3)", label=""];
  51 n3:e -> c16:p11:w [color="black", style="setlinewidth(3)", label=""];
  52 c14:p13:e -> c17:p11:w [color="black", style="setlinewidth(3)", label=""];
  53 c16:p13:e -> c18:p11:w [color="black", style="setlinewidth(3)", label=""];
  54 c15:p13:e -> c16:p12:w [color="black", style="setlinewidth(3)", label=""];
  55 c17:p13:e -> c18:p12:w [color="black", style="setlinewidth(3)", label=""];
  56 n8:e -> c23:p20:w [color="black", label=""];
  57 n8:e -> c24:p20:w [color="black", label=""];
  58 n8:e -> c25:p20:w [color="black", label=""];
  59 n9:e -> c26:p11:w [color="black", label=""];
  60 }