diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-04-21 17:54:24 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-05-14 10:33:57 -0700 |
| commit | 57c478c537ef23c05ca34ecdf4c4334fd82c104e (patch) | |
| tree | 00f097644b89f1bc7ea4a9c83857d3a22dad9efd | |
| parent | 2946bb60e95408be1ffc5b667b6c84160f7f41e6 (diff) | |
| download | yosys-57c478c537ef23c05ca34ecdf4c4334fd82c104e.tar.gz yosys-57c478c537ef23c05ca34ecdf4c4334fd82c104e.tar.bz2 yosys-57c478c537ef23c05ca34ecdf4c4334fd82c104e.zip | |
abc9: only do +/abc9_map if `DFF
| -rw-r--r-- | passes/techmap/abc9.cc | 5 | ||||
| -rw-r--r-- | techlibs/common/abc9_map.v | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc index 147d6e572..60a88f729 100644 --- a/passes/techmap/abc9.cc +++ b/passes/techmap/abc9.cc @@ -330,7 +330,10 @@ struct Abc9Pass : public ScriptPass run("design -stash $abc9_map"); run("design -load $abc9"); run("design -delete $abc9"); - run("techmap -wb -max_iter 1 -map %$abc9_map -map +/abc9_map.v"); + if (help_mode) + run("techmap -wb -max_iter 1 -map %$abc9_map -map +/abc9_map.v [-D DFF]", "(option if -dff)"); + else + run(stringf("techmap -wb -max_iter 1 -map %$abc9_map -map +/abc9_map.v %s", dff_mode ? "-D DFF" : "")); run("design -delete $abc9_map"); } diff --git a/techlibs/common/abc9_map.v b/techlibs/common/abc9_map.v index 5f1822485..57b3831d8 100644 --- a/techlibs/common/abc9_map.v +++ b/techlibs/common/abc9_map.v @@ -1,3 +1,4 @@ +`ifdef DFF (* techmap_celltype = "$_DFF_N_ $_DFF_P_" *) module $_DFF_x_(input C, D, output Q); parameter [0:0] _TECHMAP_WIREINIT_Q_ = 1'bx; @@ -23,3 +24,4 @@ module $_DFF_x_(input C, D, output Q); $error("Unrecognised _TECHMAP_CELLTYPE_"); endgenerate endmodule +`endif |