kernel: TimingInfo to clamp -ve setup/edge-sensitive delays to zero
[yosys.git] / manual / APPNOTE_011_Design_Investigation / submod_00.dot
1 digraph "memdemo" {
2 rankdir="LR";
3 remincross=true;
4 n5 [ shape=octagon, label="clk", color="black", fontcolor="black" ];
5 n6 [ shape=octagon, label="d", color="black", fontcolor="black" ];
6 n7 [ shape=diamond, label="mem[0]", color="black", fontcolor="black" ];
7 n8 [ shape=diamond, label="mem[1]", color="black", fontcolor="black" ];
8 n9 [ shape=diamond, label="mem[2]", color="black", fontcolor="black" ];
9 n10 [ shape=diamond, label="mem[3]", color="black", fontcolor="black" ];
10 n11 [ shape=diamond, label="s1", color="black", fontcolor="black" ];
11 n12 [ shape=diamond, label="s2", color="black", fontcolor="black" ];
12 n13 [ shape=octagon, label="y", color="black", fontcolor="black" ];
13 c17 [ shape=record, label="{{<p14> CLK|<p15> D}|$59\n$dff|{<p16> Q}}" ];
14 c18 [ shape=record, label="{{<p14> CLK|<p15> D}|$63\n$dff|{<p16> Q}}" ];
15 c20 [ shape=record, label="{{<p5> clk|<p7> mem[0]|<p8> mem[1]|<p9> mem[2]|<p10> mem[3]|<p19> n1}|outstage\noutstage|{<p13> y}}" ];
16 c21 [ shape=record, label="{{<p5> clk|<p6> d|<p19> n1}|scramble\nscramble|{<p7> mem[0]|<p8> mem[1]|<p9> mem[2]|<p10> mem[3]}}" ];
17 c23 [ shape=record, label="{{<p6> d|<p11> s1|<p12> s2}|selstage\nselstage|{<p19> n1|<p22> n2}}" ];
18 n1 [ shape=point ];
19 c23:p19:e -> n1:w [color="black", style="setlinewidth(3)", label=""];
20 n1:e -> c17:p15:w [color="black", style="setlinewidth(3)", label=""];
21 n1:e -> c21:p19:w [color="black", style="setlinewidth(3)", label=""];
22 c21:p10:e -> n10:w [color="black", style="setlinewidth(3)", label=""];
23 n10:e -> c20:p10:w [color="black", style="setlinewidth(3)", label=""];
24 c17:p16:e -> n11:w [color="black", style="setlinewidth(3)", label=""];
25 n11:e -> c23:p11:w [color="black", style="setlinewidth(3)", label=""];
26 c18:p16:e -> n12:w [color="black", style="setlinewidth(3)", label=""];
27 n12:e -> c23:p12:w [color="black", style="setlinewidth(3)", label=""];
28 c20:p13:e -> n13:w [color="black", style="setlinewidth(3)", label=""];
29 n2 [ shape=point ];
30 c23:p22:e -> n2:w [color="black", style="setlinewidth(3)", label=""];
31 n2:e -> c18:p15:w [color="black", style="setlinewidth(3)", label=""];
32 n2:e -> c20:p19:w [color="black", style="setlinewidth(3)", label=""];
33 n5:e -> c17:p14:w [color="black", label=""];
34 n5:e -> c18:p14:w [color="black", label=""];
35 n5:e -> c20:p5:w [color="black", label=""];
36 n5:e -> c21:p5:w [color="black", label=""];
37 n6:e -> c21:p6:w [color="black", style="setlinewidth(3)", label=""];
38 n6:e -> c23:p6:w [color="black", style="setlinewidth(3)", label=""];
39 c21:p7:e -> n7:w [color="black", style="setlinewidth(3)", label=""];
40 n7:e -> c20:p7:w [color="black", style="setlinewidth(3)", label=""];
41 c21:p8:e -> n8:w [color="black", style="setlinewidth(3)", label=""];
42 n8:e -> c20:p8:w [color="black", style="setlinewidth(3)", label=""];
43 c21:p9:e -> n9:w [color="black", style="setlinewidth(3)", label=""];
44 n9:e -> c20:p9:w [color="black", style="setlinewidth(3)", label=""];
45 }