mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-22 11:07:52 +00:00
Code Activity

dfflegalize: Add tests targetting aldff.

Browse source
This commit is contained in:
Marcelina Kościelnicka 2021-10-27 13:14:34 +02:00
parent 0a0df8d38c
commit 54c79af64f
7 changed files with 320 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

98
tests/techmap/dfflegalize_dff_init.ys
View file

@ -78,6 +78,10 @@ equiv_opt -assert -multiclock dfflegalize -cell $_DFFE_PP0P_ 0
equiv_opt -assert -multiclock dfflegalize -cell $_DFFE_PP0P_ 1
equiv_opt -assert -multiclock dfflegalize -cell $_DFFE_PP1P_ 0
equiv_opt -assert -multiclock dfflegalize -cell $_DFFE_PP1P_ 1
equiv_opt -assert -multiclock dfflegalize -cell $_ALDFF_PP_ 0
equiv_opt -assert -multiclock dfflegalize -cell $_ALDFF_PP_ 1
equiv_opt -assert -multiclock dfflegalize -cell $_ALDFFE_PPP_ 0
equiv_opt -assert -multiclock dfflegalize -cell $_ALDFFE_PPP_ 1
equiv_opt -assert -multiclock dfflegalize -cell $_DFFSR_PPP_ 0
equiv_opt -assert -multiclock dfflegalize -cell $_DFFSR_PPP_ 1
equiv_opt -assert -multiclock dfflegalize -cell $_DFFSRE_PPPP_ 0
@ -371,6 +375,100 @@ select -assert-count 27 t:$_DFFE_PP1P_
select -assert-none t:$_DFFE_PP1P_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
# Convert everything to ALDFFs.
design -load orig
dfflegalize -cell $_ALDFF_PP_ 0
select -assert-count 1 dff/t:$_NOT_
select -assert-count 1 dffe/t:$_NOT_
select -assert-count 1 sdff0/t:$_NOT_
select -assert-count 1 sdff1/t:$_NOT_
select -assert-count 1 sdffe0/t:$_NOT_
select -assert-count 1 sdffe1/t:$_NOT_
select -assert-count 1 sdffce0/t:$_NOT_
select -assert-count 1 sdffce1/t:$_NOT_
select -assert-count 0 dff/t:$_MUX_
select -assert-count 3 dffe/t:$_MUX_
select -assert-count 3 sdff0/t:$_MUX_
select -assert-count 3 sdff1/t:$_MUX_
select -assert-count 8 sdffe0/t:$_MUX_
select -assert-count 8 sdffe1/t:$_MUX_
select -assert-count 8 sdffce0/t:$_MUX_
select -assert-count 8 sdffce1/t:$_MUX_
select -assert-count 27 t:$_ALDFF_PP_
select -assert-none t:$_ALDFF_PP_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
design -load orig
dfflegalize -cell $_ALDFF_PP_ 1
select -assert-count 5 dff/t:$_NOT_
select -assert-count 7 dffe/t:$_NOT_
select -assert-count 7 sdff0/t:$_NOT_
select -assert-count 7 sdff1/t:$_NOT_
select -assert-count 9 sdffe0/t:$_NOT_
select -assert-count 9 sdffe1/t:$_NOT_
select -assert-count 9 sdffce0/t:$_NOT_
select -assert-count 9 sdffce1/t:$_NOT_
select -assert-count 0 dff/t:$_MUX_
select -assert-count 3 dffe/t:$_MUX_
select -assert-count 3 sdff0/t:$_MUX_
select -assert-count 3 sdff1/t:$_MUX_
select -assert-count 8 sdffe0/t:$_MUX_
select -assert-count 8 sdffe1/t:$_MUX_
select -assert-count 8 sdffce0/t:$_MUX_
select -assert-count 8 sdffce1/t:$_MUX_
select -assert-count 27 t:$_ALDFF_PP_
select -assert-none t:$_ALDFF_PP_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
# Convert everything to ALDFFEs.
design -load orig
dfflegalize -cell $_ALDFFE_PPP_ 0
select -assert-count 1 dff/t:$_NOT_
select -assert-count 2 dffe/t:$_NOT_
select -assert-count 1 sdff0/t:$_NOT_
select -assert-count 1 sdff1/t:$_NOT_
select -assert-count 1 sdffe0/t:$_NOT_
select -assert-count 1 sdffe1/t:$_NOT_
select -assert-count 2 sdffce0/t:$_NOT_
select -assert-count 2 sdffce1/t:$_NOT_
select -assert-count 0 dff/t:$_MUX_
select -assert-count 0 dffe/t:$_MUX_
select -assert-count 3 sdff0/t:$_MUX_
select -assert-count 3 sdff1/t:$_MUX_
select -assert-count 8 sdffe0/t:$_MUX_
select -assert-count 8 sdffe1/t:$_MUX_
select -assert-count 4 sdffce0/t:$_MUX_
select -assert-count 4 sdffce1/t:$_MUX_
select -assert-count 27 t:$_ALDFFE_PPP_
select -assert-none t:$_ALDFFE_PPP_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
design -load orig
dfflegalize -cell $_ALDFFE_PPP_ 1
select -assert-count 5 dff/t:$_NOT_
select -assert-count 8 dffe/t:$_NOT_
select -assert-count 7 sdff0/t:$_NOT_
select -assert-count 7 sdff1/t:$_NOT_
select -assert-count 9 sdffe0/t:$_NOT_
select -assert-count 9 sdffe1/t:$_NOT_
select -assert-count 10 sdffce0/t:$_NOT_
select -assert-count 10 sdffce1/t:$_NOT_
select -assert-count 0 dff/t:$_MUX_
select -assert-count 0 dffe/t:$_MUX_
select -assert-count 3 sdff0/t:$_MUX_
select -assert-count 3 sdff1/t:$_MUX_
select -assert-count 8 sdffe0/t:$_MUX_
select -assert-count 8 sdffe1/t:$_MUX_
select -assert-count 4 sdffce0/t:$_MUX_
select -assert-count 4 sdffce1/t:$_MUX_
select -assert-count 27 t:$_ALDFFE_PPP_
select -assert-none t:$_ALDFFE_PPP_ t:$_MUX_ t:$_NOT_ top/* %% %n t:* %i
# Convert everything to DFFSRs.
design -load orig