manual/APPNOTE_011_Design_Investigation/example_00.dot

   1 digraph "example" {
   2 rankdir="LR";
   3 remincross=true;
   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}}" ];
  10 v0 [ label="2'00" ];
  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=""];
  23 }