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_dff.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_dff.ys')
| -rw-r--r-- | tests/techmap/dfflegalize_dff.ys | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/tests/techmap/dfflegalize_dff.ys b/tests/techmap/dfflegalize_dff.ys index d71f4204e..63ab47865 100644 --- a/tests/techmap/dfflegalize_dff.ys +++ b/tests/techmap/dfflegalize_dff.ys @@ -66,15 +66,15 @@ EOT design -save orig flatten -equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFF_P_ x -equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFE_PP_ x -equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFF_PP0_ x -equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFE_PP0P_ x -equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFSR_PPP_ x -equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_DFFSRE_PPPP_ x -equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_SDFF_PP0_ x -equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_SDFFE_PP0P_ x -equiv_opt -assert -multiclock -map +/simcells.v dfflegalize -cell $_SDFFCE_PP0P_ x +equiv_opt -assert -multiclock dfflegalize -cell $_DFF_P_ x +equiv_opt -assert -multiclock dfflegalize -cell $_DFFE_PP_ x +equiv_opt -assert -multiclock dfflegalize -cell $_DFF_PP0_ x +equiv_opt -assert -multiclock dfflegalize -cell $_DFFE_PP0P_ x +equiv_opt -assert -multiclock dfflegalize -cell $_DFFSR_PPP_ x +equiv_opt -assert -multiclock dfflegalize -cell $_DFFSRE_PPPP_ x +equiv_opt -assert -multiclock dfflegalize -cell $_SDFF_PP0_ x +equiv_opt -assert -multiclock dfflegalize -cell $_SDFFE_PP0P_ x +equiv_opt -assert -multiclock dfflegalize -cell $_SDFFCE_PP0P_ x # Convert everything to DFFs. |