You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
38 lines
712 B
38 lines
712 B
psl_tests := \
|
|
psl_always \
|
|
psl_logical_iff \
|
|
psl_logical_implication \
|
|
psl_never \
|
|
psl_next \
|
|
psl_next_3 \
|
|
psl_next_a \
|
|
psl_next_e \
|
|
psl_next_event \
|
|
psl_next_event_4 \
|
|
psl_next_event_e \
|
|
psl_next_event_a \
|
|
psl_until \
|
|
psl_before \
|
|
psl_eventually \
|
|
psl_sere \
|
|
psl_sere_overlapping_suffix_impl \
|
|
psl_sere_non_overlapping_suffix_impl \
|
|
psl_sere_consecutive_repetition \
|
|
psl_sere_non_consecutive_repeat_repetition \
|
|
psl_sere_non_consecutive_goto_repetition \
|
|
psl_cover \
|
|
psl_sere_within \
|
|
psl_sere_or \
|
|
psl_sere_len_matching_and \
|
|
psl_sere_non_len_matching_and \
|
|
psl_sere_concat \
|
|
psl_sere_fusion \
|
|
psl_prev \
|
|
psl_stable \
|
|
psl_rose \
|
|
psl_fell \
|
|
psl_onehot \
|
|
psl_onehot0 \
|
|
psl_vunit \
|
|
yosys_anyconst \
|
|
yosys_anyseq
|