diff options
| author | Marcelina Kościelnicka <mwk@0x04.net> | 2020-07-20 23:19:51 +0200 |
|---|---|---|
| committer | Marcelina Kościelnicka <mwk@0x04.net> | 2020-08-07 13:21:03 +0200 |
| commit | 9a4f420b4b8285bd05181b6988c35ce45e3c979a (patch) | |
| tree | 666157812aec1784c97967295716c636b1374d16 /tests/arch/ecp5 | |
| parent | c39ebe6ae0e41cf9a84da852fa3cf9f71937a9b2 (diff) | |
| download | yosys-9a4f420b4b8285bd05181b6988c35ce45e3c979a.tar.gz yosys-9a4f420b4b8285bd05181b6988c35ce45e3c979a.tar.bz2 yosys-9a4f420b4b8285bd05181b6988c35ce45e3c979a.zip | |
Replace opt_rmdff with opt_dff.
Diffstat (limited to 'tests/arch/ecp5')
| -rw-r--r-- | tests/arch/ecp5/fsm.ys | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tests/arch/ecp5/fsm.ys b/tests/arch/ecp5/fsm.ys index ba91e5fc0..a77986bbc 100644 --- a/tests/arch/ecp5/fsm.ys +++ b/tests/arch/ecp5/fsm.ys @@ -10,8 +10,8 @@ sat -verify -prove-asserts -show-public -set-at 1 in_reset 1 -seq 20 -prove-skip design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design) cd fsm # Constrain all select calls below inside the top module -select -assert-count 1 t:L6MUX21 -select -assert-count 15 t:LUT4 -select -assert-count 6 t:PFUMX +select -assert-max 1 t:L6MUX21 +select -assert-max 16 t:LUT4 +select -assert-max 7 t:PFUMX select -assert-count 6 t:TRELLIS_FF select -assert-none t:L6MUX21 t:LUT4 t:PFUMX t:TRELLIS_FF %% t:* %D |