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