diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-02-13 08:59:08 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-02-13 12:42:15 -0800 |
| commit | b523ecf2f45f80488412781ba9a3455a71d64d62 (patch) | |
| tree | 59572f382b64d2236f4bb78baffe98255bb8f485 /backends/verilog | |
| parent | 7cfdf4ffa7698fa40aae401c2b8b159a6e37011a (diff) | |
| download | yosys-b523ecf2f45f80488412781ba9a3455a71d64d62.tar.gz yosys-b523ecf2f45f80488412781ba9a3455a71d64d62.tar.bz2 yosys-b523ecf2f45f80488412781ba9a3455a71d64d62.zip | |
specify: system timing checks to accept min:typ:max triple
Diffstat (limited to 'backends/verilog')
| -rw-r--r-- | backends/verilog/verilog_backend.cc | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/backends/verilog/verilog_backend.cc b/backends/verilog/verilog_backend.cc index 682c47a1f..19541f1c4 100644 --- a/backends/verilog/verilog_backend.cc +++ b/backends/verilog/verilog_backend.cc @@ -1417,11 +1417,19 @@ bool dump_cell_expr(std::ostream &f, std::string indent, RTLIL::Cell *cell) decimal = 1; f << ", "; - dump_const(f, cell->getParam("\\T_LIMIT")); + dump_const(f, cell->getParam("\\T_LIMIT_MIN")); + f << ": "; + dump_const(f, cell->getParam("\\T_LIMIT_TYP")); + f << ": "; + dump_const(f, cell->getParam("\\T_LIMIT_MAX")); if (spec_type == "$setuphold" || spec_type == "$recrem" || spec_type == "$fullskew") { f << ", "; - dump_const(f, cell->getParam("\\T_LIMIT2")); + dump_const(f, cell->getParam("\\T_LIMIT2_MIN")); + f << ": "; + dump_const(f, cell->getParam("\\T_LIMIT2_TYP")); + f << ": "; + dump_const(f, cell->getParam("\\T_LIMIT2_MAX")); } f << ");\n"; |