Akash Levy 2c3d2b3ec6 Clocking works with -formal flag		2024-09-22 08:01:16 -07:00
..
.gitignore	Add test example	2023-02-27 09:24:04 +01:00
bounds.vhd	Add left and right bound properties to wire. Add test. Fix printing	2024-09-10 12:52:42 +02:00
bounds.ys.fail	Small edits	2024-09-22 07:52:58 -07:00
case.sv	Add test example	2023-02-27 09:24:04 +01:00
case.ys	Updates for hiding verific	2024-04-09 07:16:22 -07:00
clocking.ys	Clocking works with -formal flag	2024-09-22 08:01:16 -07: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	Updates for hiding verific	2024-04-09 07:16:22 -07:00
range_case.sv	Added ranged case check	2023-02-27 09:24:04 +01:00
range_case.ys	Updates for hiding verific	2024-04-09 07:16:22 -07:00
rom_case.ys.fail	Updates for hiding verific	2024-04-09 07:16:22 -07:00
run-test.sh	Add test example	2023-02-27 09:24:04 +01:00