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

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