| .. |
|
.gitignore
|
Add test example
|
2023-02-27 09:24:04 +01:00 |
|
blackbox.ys.DISABLED
|
Revert back to using Verific naming
|
2025-02-13 19:40:33 -08:00 |
|
blackbox_empty.ys.DISABLED
|
Revert back to using Verific naming
|
2025-02-13 19:40:33 -08:00 |
|
blackbox_ql.ys.DISABLED
|
Revert back to using Verific naming
|
2025-02-13 19:40:33 -08:00 |
|
bounds.sv
|
bound attributes: handle vhdl null ranges
|
2024-12-12 11:42:39 +01:00 |
|
bounds.vhd
|
bound attributes: handle vhdl null ranges
|
2024-12-12 11:42:39 +01:00 |
|
bounds.ys.DISABLED
|
Merge remote-tracking branch 'upstream/main'
|
2024-12-12 22:49:19 -08:00 |
|
case.sv
|
Add test example
|
2023-02-27 09:24:04 +01:00 |
|
case.ys
|
Revert back to using Verific naming
|
2025-02-13 19:40:33 -08:00 |
|
clocking.ys
|
Revert clocking.ys
|
2025-02-13 20:32:17 -08:00 |
|
enum_values.sv
|
verific: Fix enum_values support and signed attribute values
|
2023-03-15 09:51:36 +01:00 |
|
enum_values.ys
|
verific: Fix enum_values support and signed attribute values
|
2023-03-15 09:51:36 +01:00 |
|
memory_semantics.ys.DISABLED
|
Revert back to using Verific naming
|
2025-02-13 19:40:33 -08:00 |
|
range_case.sv
|
Added ranged case check
|
2023-02-27 09:24:04 +01:00 |
|
range_case.ys
|
Revert back to using Verific naming
|
2025-02-13 19:40:33 -08:00 |
|
README.md
|
Disable Verific blackbox checks (different from our preferred approach)
|
2025-01-21 05:46:40 -08:00 |
|
rom_case.ys.DISABLED
|
Revert back to using Verific naming
|
2025-02-13 19:40:33 -08:00 |
|
run-test.sh
|
test: restore verific handling, nicer naming
|
2024-12-13 10:24:47 +01:00 |
|
setenv.flist
|
add setenv pass
|
2024-12-06 11:25:43 +01:00 |
|
setenv.ys
|
Revert back to using Verific naming
|
2025-02-13 19:40:33 -08:00 |
