4 n4 [ shape=octagon, label="a", color="black", fontcolor="black" ];
5 n5 [ shape=octagon, label="b", color="black", fontcolor="black" ];
6 n6 [ shape=octagon, label="c", color="black", fontcolor="black" ];
7 n7 [ shape=octagon, label="clk", color="black", fontcolor="black" ];
8 n8 [ shape=octagon, label="y", color="black", fontcolor="black" ];
9 c12 [ shape=record, label="{{<p9> A|<p10> B}|$2\n$add|{<p11> Y}}" ];
11 c14 [ shape=record, label="{{<p9> A|<p10> B|<p13> S}|$3\n$mux|{<p11> Y}}" ];
12 p1 [shape=box, style=rounded, label="PROC $1\nexample.v:3"];
13 c12:p11:e -> c14:p10:w [color="black", style="setlinewidth(3)", label=""];
14 c14:p11:e -> p1:w [color="black", style="setlinewidth(3)", label=""];
15 n4:e -> c12:p9:w [color="black", label=""];
16 n5:e -> c12:p10:w [color="black", label=""];
17 n6:e -> c14:p13:w [color="black", label=""];
18 n6:e -> p1:w [color="black", label=""];
19 n7:e -> p1:w [color="black", label=""];
20 p1:e -> n8:w [color="black", style="setlinewidth(3)", label=""];
21 n8:e -> p1:w [color="black", style="setlinewidth(3)", label=""];
22 v0:e -> c14:p9:w [color="black", style="setlinewidth(3)", label=""];