| digraph "example" { |
| rankdir="LR"; |
| remincross=true; |
| n4 [ shape=octagon, label="a", color="black", fontcolor="black" ]; |
| n5 [ shape=octagon, label="b", color="black", fontcolor="black" ]; |
| n6 [ shape=octagon, label="c", color="black", fontcolor="black" ]; |
| n7 [ shape=octagon, label="clk", color="black", fontcolor="black" ]; |
| n8 [ shape=octagon, label="y", color="black", fontcolor="black" ]; |
| c12 [ shape=record, label="{{<p9> A|<p10> B}|$2\n$add|{<p11> Y}}" ]; |
| v0 [ label="2'00" ]; |
| c14 [ shape=record, label="{{<p9> A|<p10> B|<p13> S}|$3\n$mux|{<p11> Y}}" ]; |
| p1 [shape=box, style=rounded, label="PROC $1\nexample.v:3"]; |
| c12:p11:e -> c14:p10:w [color="black", style="setlinewidth(3)", label=""]; |
| c14:p11:e -> p1:w [color="black", style="setlinewidth(3)", label=""]; |
| n4:e -> c12:p9:w [color="black", label=""]; |
| n5:e -> c12:p10:w [color="black", label=""]; |
| n6:e -> c14:p13:w [color="black", label=""]; |
| n6:e -> p1:w [color="black", label=""]; |
| n7:e -> p1:w [color="black", label=""]; |
| p1:e -> n8:w [color="black", style="setlinewidth(3)", label=""]; |
| n8:e -> p1:w [color="black", style="setlinewidth(3)", label=""]; |
| v0:e -> c14:p9:w [color="black", style="setlinewidth(3)", label=""]; |
| } |
