kernel: TimingInfo to clamp -ve setup/edge-sensitive delays to zero
[yosys.git] / manual / APPNOTE_011_Design_Investigation / example_01.dot
1 digraph "example" {
2 rankdir="LR";
3 remincross=true;
4 n6 [ shape=octagon, label="a", color="black", fontcolor="black" ];
5 n7 [ shape=octagon, label="b", color="black", fontcolor="black" ];
6 n8 [ shape=octagon, label="c", color="black", fontcolor="black" ];
7 n9 [ shape=octagon, label="clk", color="black", fontcolor="black" ];
8 n10 [ shape=octagon, label="y", color="black", fontcolor="black" ];
9 c14 [ shape=record, label="{{<p11> A|<p12> B}|$2\n$add|{<p13> Y}}" ];
10 c18 [ shape=record, label="{{<p15> CLK|<p16> D}|$7\n$dff|{<p17> Q}}" ];
11 c20 [ shape=record, label="{{<p11> A|<p12> B|<p19> S}|$5\n$mux|{<p13> Y}}" ];
12 v0 [ label="2'00" ];
13 c21 [ shape=record, label="{{<p11> A|<p12> B|<p19> S}|$3\n$mux|{<p13> Y}}" ];
14 x1 [shape=box, style=rounded, label="BUF"];
15 x2 [shape=box, style=rounded, label="BUF"];
16 n1 [ shape=diamond, label="$0\\y[1:0]" ];
17 x2:e:e -> n1:w [color="black", style="setlinewidth(3)", label=""];
18 c18:p17:e -> n10:w [color="black", style="setlinewidth(3)", label=""];
19 n10:e -> c20:p11:w [color="black", style="setlinewidth(3)", label=""];
20 c14:p13:e -> c21:p12:w [color="black", style="setlinewidth(3)", label=""];
21 n3 [ shape=point ];
22 c20:p13:e -> n3:w [color="black", style="setlinewidth(3)", label=""];
23 n3:e -> c18:p16:w [color="black", style="setlinewidth(3)", label=""];
24 n3:e -> x2:w:w [color="black", style="setlinewidth(3)", label=""];
25 x1:e:e -> c20:p19:w [color="black", label=""];
26 c21:p13:e -> c20:p12:w [color="black", style="setlinewidth(3)", label=""];
27 n6:e -> c14:p11:w [color="black", label=""];
28 n7:e -> c14:p12:w [color="black", label=""];
29 n8:e -> c21:p19:w [color="black", label=""];
30 n8:e -> x1:w:w [color="black", label=""];
31 n9:e -> c18:p15:w [color="black", label=""];
32 v0:e -> c21:p11:w [color="black", style="setlinewidth(3)", label=""];
33 }