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

   1 digraph "toggle" {
   2 label="toggle";
   3 rankdir="LR";
   4 remincross=true;
   5 n17 [ shape=octagon, label="clk", color="black", fontcolor="black" ];
   6 n18 [ shape=octagon, label="en", color="black", fontcolor="black" ];
   7 n19 [ shape=octagon, label="out", color="black", fontcolor="black" ];
   8 c23 [ shape=record, label="{{<p20> A|<p21> B}|$56\n$NaN|{<p22> Y}}" ];
   9 c24 [ shape=record, label="{{<p20> A|<p21> B}|$57\n$NaN|{<p22> Y}}" ];
  10 c25 [ shape=record, label="{{<p20> A|<p21> B}|$58\n$NaN|{<p22> Y}}" ];
  11 c26 [ shape=record, label="{{<p20> A|<p21> B}|$59\n$NaN|{<p22> Y}}" ];
  12 c27 [ shape=record, label="{{<p20> A|<p21> B}|$60\n$NaN|{<p22> Y}}" ];
  13 c28 [ shape=record, label="{{<p20> A}|$78\n$b2f|{<p22> Y}}" ];
  14 c29 [ shape=record, label="{{<p20> A}|$85\n$b2f|{<p22> Y}}" ];
  15 c30 [ shape=record, label="{{<p20> A}|$72\n$b2f|{<p22> Y}}" ];
  16 c31 [ shape=record, label="{{<p20> A}|$86\n$b2f|{<p22> Y}}" ];
  17 c32 [ shape=record, label="{{<p20> A}|$74\n$f2b|{<p22> Y}}" ];
  18 c33 [ shape=record, label="{{<p20> A}|$81\n$f2b|{<p22> Y}}" ];
  19 c34 [ shape=record, label="{{<p20> A}|$88\n$f2b|{<p22> Y}}" ];
  20 c35 [ shape=record, label="{{<p20> A}|$61\n$b2f|{<p22> Y}}" ];
  21 c36 [ shape=record, label="{{<p20> A}|$66\n$b2f|{<p22> Y}}" ];
  22 c37 [ shape=record, label="{{<p20> A}|$63\n$f2b|{<p22> Y}}" ];
  23 c38 [ shape=record, label="{{<p20> A}|$68\n$f2b|{<p22> Y}}" ];
  24 c42 [ shape=record, label="{{<p39> C|<p40> D}|$52\n$_DFF_P_|{<p41> Q}}" ];
  25 c34:p22:s -> c42:p40:s [color="black", label=""];
  26 n10 [ shape=point ];
  27 c36:p22:e -> n10:w [color="black", style="setlinewidth(3)", label=""];
  28 n10:e -> c24:p20:w [color="black", style="setlinewidth(3)", label=""];
  29 n10:e -> c24:p21:w [color="black", style="setlinewidth(3)", label=""];
  30 n10:e -> c26:p21:w [color="black", style="setlinewidth(3)", label=""];
  31 c31:p22:e -> c27:p21:w [color="black", style="setlinewidth(3)", label=""];
  32 c25:p22:e -> c32:p20:w [color="black", style="setlinewidth(3)", label=""];
  33 c26:p22:e -> c33:p20:w [color="black", style="setlinewidth(3)", label=""];
  34 c27:p22:e -> c34:p20:w [color="black", style="setlinewidth(3)", label=""];
  35 c23:p22:e -> c37:p20:w [color="black", style="setlinewidth(3)", label=""];
  36 c24:p22:e -> c38:p20:w [color="black", style="setlinewidth(3)", label=""];
  37 n17:e -> c42:p39:w [color="black", label=""];
  38 n18:e -> c35:p20:w [color="black", label=""];
  39 c42:p41:e -> n19:w [color="black", label=""];
  40 n19:e -> c36:p20:w [color="black", label=""];
  41 c37:p22:e -> c28:p20:w [color="black", label=""];
  42 c38:p22:e -> c30:p20:w [color="black", label=""];
  43 c32:p22:e -> c29:p20:w [color="black", label=""];
  44 c33:p22:e -> c31:p20:w [color="black", label=""];
  45 n6 [ shape=point ];
  46 c35:p22:e -> n6:w [color="black", style="setlinewidth(3)", label=""];
  47 n6:e -> c23:p20:w [color="black", style="setlinewidth(3)", label=""];
  48 n6:e -> c23:p21:w [color="black", style="setlinewidth(3)", label=""];
  49 n6:e -> c25:p20:w [color="black", style="setlinewidth(3)", label=""];
  50 c28:p22:e -> c26:p20:w [color="black", style="setlinewidth(3)", label=""];
  51 c29:p22:e -> c27:p20:w [color="black", style="setlinewidth(3)", label=""];
  52 c30:p22:e -> c25:p21:w [color="black", style="setlinewidth(3)", label=""];
  53 }