2 * yosys -- Yosys Open SYnthesis Suite
4 * Copyright (C) 2012 Clifford Wolf <clifford@clifford.at>
5 * (C) 2020 Eddie Hung <eddie@fpgeh.com>
7 * Permission to use, copy, modify, and/or distribute this software for any
8 * purpose with or without fee is hereby granted, provided that the above
9 * copyright notice and this permission notice appear in all copies.
11 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
12 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
13 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
14 * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
15 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
16 * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
17 * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
24 #include "kernel/yosys.h"
34 NameBit() : offset(0) {}
35 NameBit(const RTLIL::IdString name
, int offset
) : name(name
), offset(offset
) {}
36 explicit NameBit(const RTLIL::SigBit
&b
) : name(b
.wire
->name
), offset(b
.offset
) {}
37 bool operator==(const NameBit
& nb
) const { return nb
.name
== name
&& nb
.offset
== offset
; }
38 bool operator!=(const NameBit
& nb
) const { return !operator==(nb
); }
39 unsigned int hash() const { return mkhash_add(name
.hash(), offset
); }
43 NameBit first
, second
;
44 BitBit(const NameBit
&first
, const NameBit
&second
) : first(first
), second(second
) {}
45 BitBit(const SigBit
&first
, const SigBit
&second
) : first(first
), second(second
) {}
46 bool operator==(const BitBit
& bb
) const { return bb
.first
== first
&& bb
.second
== second
; }
47 unsigned int hash() const { return mkhash_add(first
.hash(), second
.hash()); }
53 dict
<BitBit
, int> comb
;
54 dict
<NameBit
, int> arrival
, required
;
57 dict
<RTLIL::IdString
, ModuleTiming
> data
;
63 TimingInfo(RTLIL::Design
*design
)
68 void setup(RTLIL::Design
*design
)
70 for (auto module
: design
->modules()) {
71 if (!module
->get_blackbox_attribute())
77 const ModuleTiming
& setup_module(RTLIL::Module
*module
)
79 auto r
= data
.insert(module
->name
);
81 auto &t
= r
.first
->second
;
83 for (auto cell
: module
->cells()) {
84 if (cell
->type
== ID($specify2
)) {
85 auto en
= cell
->getPort(ID::EN
);
86 if (en
.is_fully_const() && !en
.as_bool())
88 auto src
= cell
->getPort(ID::SRC
);
89 auto dst
= cell
->getPort(ID::DST
);
90 for (const auto &c
: src
.chunks())
91 if (!c
.wire
->port_input
)
92 log_error("Module '%s' contains specify cell '%s' where SRC '%s' is not a module input.\n", log_id(module
), log_id(cell
), log_signal(src
));
93 for (const auto &c
: dst
.chunks())
94 if (!c
.wire
->port_output
)
95 log_error("Module '%s' contains specify cell '%s' where DST '%s' is not a module output.\n", log_id(module
), log_id(cell
), log_signal(dst
));
96 int rise_max
= cell
->getParam(ID::T_RISE_MAX
).as_int();
97 int fall_max
= cell
->getParam(ID::T_FALL_MAX
).as_int();
98 int max
= std::max(rise_max
,fall_max
);
100 log_error("Module '%s' contains specify cell '%s' with T_{RISE,FALL}_MAX < 0.\n", log_id(module
), log_id(cell
));
101 if (cell
->getParam(ID::FULL
).as_bool()) {
102 for (const auto &s
: src
)
103 for (const auto &d
: dst
) {
104 auto r
= t
.comb
.insert(BitBit(s
,d
));
106 log_error("Module '%s' contains multiple specify cells for SRC '%s' and DST '%s'.\n", log_id(module
), log_signal(s
), log_signal(d
));
107 r
.first
->second
= max
;
111 log_assert(GetSize(src
) == GetSize(dst
));
112 for (auto i
= 0; i
< GetSize(src
); i
++) {
113 const auto &s
= src
[i
];
114 const auto &d
= dst
[i
];
115 auto r
= t
.comb
.insert(BitBit(s
,d
));
117 log_error("Module '%s' contains multiple specify cells for SRC '%s' and DST '%s'.\n", log_id(module
), log_signal(s
), log_signal(d
));
118 r
.first
->second
= max
;
122 else if (cell
->type
== ID($specify3
)) {
123 auto src
= cell
->getPort(ID::SRC
);
124 auto dst
= cell
->getPort(ID::DST
);
125 for (const auto &c
: src
.chunks())
126 if (!c
.wire
->port_input
)
127 log_error("Module '%s' contains specify cell '%s' where SRC '%s' is not a module input.\n", log_id(module
), log_id(cell
), log_signal(src
));
128 for (const auto &c
: dst
.chunks())
129 if (!c
.wire
->port_output
)
130 log_error("Module '%s' contains specify cell '%s' where DST '%s' is not a module output.\n", log_id(module
), log_id(cell
), log_signal(dst
));
131 int rise_max
= cell
->getParam(ID::T_RISE_MAX
).as_int();
132 int fall_max
= cell
->getParam(ID::T_FALL_MAX
).as_int();
133 int max
= std::max(rise_max
,fall_max
);
135 log_warning("Module '%s' contains specify cell '%s' with T_{RISE,FALL}_MAX < 0 which is currently unsupported. Clamping to 0.\n", log_id(module
), log_id(cell
));
138 for (const auto &d
: dst
) {
139 auto &v
= t
.arrival
[NameBit(d
)];
140 v
= std::max(v
, max
);
143 else if (cell
->type
== ID($specrule
)) {
144 auto type
= cell
->getParam(ID::TYPE
).decode_string();
145 if (type
!= "$setup" && type
!= "$setuphold")
147 auto src
= cell
->getPort(ID::SRC
);
148 auto dst
= cell
->getPort(ID::DST
);
149 for (const auto &c
: src
.chunks())
150 if (!c
.wire
->port_input
)
151 log_error("Module '%s' contains specify cell '%s' where SRC '%s' is not a module input.\n", log_id(module
), log_id(cell
), log_signal(src
));
152 for (const auto &c
: dst
.chunks())
153 if (!c
.wire
->port_input
)
154 log_error("Module '%s' contains specify cell '%s' where DST '%s' is not a module input.\n", log_id(module
), log_id(cell
), log_signal(dst
));
155 int max
= cell
->getParam(ID::T_LIMIT_MAX
).as_int();
157 log_warning("Module '%s' contains specify cell '%s' with T_LIMIT_MAX < 0 which is currently unsupported. Clamping to 0.\n", log_id(module
), log_id(cell
));
160 for (const auto &s
: src
) {
161 auto &v
= t
.required
[NameBit(s
)];
162 v
= std::max(v
, max
);
170 decltype(data
)::const_iterator
find(RTLIL::IdString module_name
) const { return data
.find(module_name
); }
171 decltype(data
)::const_iterator
end() const { return data
.end(); }
172 int count(RTLIL::IdString module_name
) const { return data
.count(module_name
); }
173 const ModuleTiming
& at(RTLIL::IdString module_name
) const { return data
.at(module_name
); }