N. Engelhardt d87bd7ca3f Merge pull request #3887 from kivikakk/env-bash ... tests: use /usr/bin/env for bash.		2023-12-18 16:33:35 +01: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	tests: use /usr/bin/env for bash.	2023-08-12 11:59:39 +10: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