diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-04-16 10:24:02 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-05-14 10:33:56 -0700 |
| commit | 48052ad813db3561a959a1921466d571bafa354c (patch) | |
| tree | 9029ab8f94665a252449cfa4f0a0440ed0696815 /techlibs/common/abc9_model.v | |
| parent | 7812a2959b9b23b44e8144f9edb139f282d623e1 (diff) | |
| download | yosys-48052ad813db3561a959a1921466d571bafa354c.tar.gz yosys-48052ad813db3561a959a1921466d571bafa354c.tar.bz2 yosys-48052ad813db3561a959a1921466d571bafa354c.zip | |
abc9: add flop boxes to basic $_DFF_P_ and $_DFF_N_ too
Diffstat (limited to 'techlibs/common/abc9_model.v')
| -rw-r--r-- | techlibs/common/abc9_model.v | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/techlibs/common/abc9_model.v b/techlibs/common/abc9_model.v index 9e8048faf..41acf4d97 100644 --- a/techlibs/common/abc9_model.v +++ b/techlibs/common/abc9_model.v @@ -5,3 +5,23 @@ module \$__ABC9_DELAY (input I, output O); (I => O) = DELAY; endspecify endmodule + +(* abc9_flop, abc9_box, lib_whitebox *) +module $__DFF_N__$abc9_flop(input C, D, Q, (* init=INIT *) output n1); + parameter [0:0] INIT = 1'bx; + assign n1 = D; + specify + $setup(D, posedge C, 0); + (posedge C => (n1:D)) = 0; + endspecify +endmodule + +(* abc9_flop, abc9_box, lib_whitebox *) +module $__DFF_P__$abc9_flop(input C, D, Q, (* init=INIT *) output n1); + parameter [0:0] INIT = 1'bx; + assign n1 = D; + specify + $setup(D, posedge C, 0); + (posedge C => (n1:D)) = 0; + endspecify +endmodule |