diff options
author | Marcelina KoĆcielnicka <mwk@0x04.net> | 2020-07-19 03:25:41 +0200 |
---|---|---|
committer | Marcelina KoĆcielnicka <mwk@0x04.net> | 2020-07-24 03:19:48 +0200 |
commit | abe4e9e607c2d3d19e6342b78792fce1abedd78b (patch) | |
tree | 7c556c23c59db56ef5cab7f80db32d9b695b9f6d /tests/techmap/dfflegalize_minsrst.ys | |
parent | 0c6d0d4b5dc7c0b19bcca3f63a95b97a9df703d9 (diff) | |
download | yosys-abe4e9e607c2d3d19e6342b78792fce1abedd78b.tar.gz yosys-abe4e9e607c2d3d19e6342b78792fce1abedd78b.tar.bz2 yosys-abe4e9e607c2d3d19e6342b78792fce1abedd78b.zip |
clk2fflogic: Support all FF types.
Diffstat (limited to 'tests/techmap/dfflegalize_minsrst.ys')
-rw-r--r-- | tests/techmap/dfflegalize_minsrst.ys | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/techmap/dfflegalize_minsrst.ys b/tests/techmap/dfflegalize_minsrst.ys index b9bc3f1b9..0fc40dc08 100644 --- a/tests/techmap/dfflegalize_minsrst.ys +++ b/tests/techmap/dfflegalize_minsrst.ys @@ -18,7 +18,7 @@ endmodule EOT design -save orig -equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_SDFF_PP?_ x -cell $_SDFFE_PP?P_ x -cell $_SDFFCE_PP?P_ x -minsrst 3 +equiv_opt -assert -multiclock dfflegalize -cell $_SDFF_PP?_ x -cell $_SDFFE_PP?P_ x -cell $_SDFFCE_PP?P_ x -minsrst 3 design -load postopt select -assert-count 5 t:$_SDFF_PP0_ |