Add paper
[sigbovik-nan-2020] / 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 }