4 n3 [ shape=octagon, label="a", color="black", fontcolor="black" ];
5 n4 [ shape=octagon, label="b", color="black", fontcolor="black" ];
6 n5 [ shape=octagon, label="c", color="black", fontcolor="black" ];
7 n6 [ shape=octagon, label="clk", color="black", fontcolor="black" ];
8 n7 [ shape=octagon, label="y", color="black", fontcolor="black" ];
9 c11 [ shape=record, label="{{<p8> A|<p9> B}|$2\n$add|{<p10> Y}}" ];
10 c15 [ shape=record, label="{{<p12> CLK|<p13> D}|$7\n$dff|{<p14> Q}}" ];
11 c17 [ shape=record, label="{{<p8> A|<p9> B|<p16> S}|$5\n$mux|{<p10> Y}}" ];
12 c17:p10:e -> c15:p13:w [color="black", style="setlinewidth(3)", label=""];
13 c11:p10:e -> c17:p9:w [color="black", style="setlinewidth(3)", label=""];
14 n3:e -> c11:p8:w [color="black", label=""];
15 n4:e -> c11:p9:w [color="black", label=""];
16 n5:e -> c17:p16:w [color="black", label=""];
17 n6:e -> c15:p12:w [color="black", label=""];
18 c15:p14:e -> n7:w [color="black", style="setlinewidth(3)", label=""];
19 n7:e -> c17:p8:w [color="black", style="setlinewidth(3)", label=""];