Jannis Harder c174597014 Fix sva_value_change_changed test for updated verific		2023-10-03 11:46:43 +02:00
..
.gitignore	verific: Improve logic generated for SVA value change expressions	2022-05-09 15:04:01 +02:00
basic00.sv
basic01.sv
basic02.sv
basic03.sv
basic04.sv
basic04.vhd
basic05.sv
basic05.vhd
counter.sv
extnets.sv
Makefile	verific: Improve logic generated for SVA value change expressions	2022-05-09 15:04:01 +02:00
nested_clk_else.sv
runtest.sh	verific: Improve logic generated for SVA value change expressions	2022-05-09 15:04:01 +02:00
sva_not.sv
sva_range.sv
sva_throughout.sv
sva_value_change_changed.sv	Fix sva_value_change_changed test for updated verific	2023-10-03 11:46:43 +02:00
sva_value_change_changed_wide.sv	verific: Use new value change logic also for $stable of wide signals.	2022-05-11 13:05:27 +02:00
sva_value_change_rose.sv	verific: Improve logic generated for SVA value change expressions	2022-05-09 15:04:01 +02:00
sva_value_change_sim.sv	verific: Use new value change logic also for $stable of wide signals.	2022-05-11 13:05:27 +02:00
sva_value_change_sim.ys	verific: Improve logic generated for SVA value change expressions	2022-05-09 15:04:01 +02:00