3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-13 19:20:19 +00:00
yosys/tests/sva
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
basic00.sv
basic01.sv
basic02.sv
basic03.sv
basic04.sv
basic04.vhd
basic05.sv
basic05.vhd
counter.sv
extnets.sv
Makefile
nested_clk_else.sv
runtest.sh
sva_not.sv
sva_range.sv
sva_throughout.sv
sva_value_change_changed.sv
sva_value_change_changed_wide.sv
sva_value_change_rose.sv
sva_value_change_sim.sv
sva_value_change_sim.ys