3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-11 21:50:54 +00:00
yosys/tests/verific
2025-07-22 10:38:38 +00:00
..
blackbox.ys verific: fix blackbox regression and add test case 2024-11-08 14:57:04 +01:00
blackbox_empty.ys Add verific verilog test cases for blackboxes 2024-12-06 16:13:25 +01:00
blackbox_ql.ys Add verific verilog test cases for blackboxes 2024-12-06 16:13:25 +01: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 bound attributes: handle vhdl null ranges 2024-12-12 11:42:39 +01:00
case.sv
case.ys
chformal.ys tests/verific: Add chformal tests 2025-06-14 11:06:38 +12:00
clocking.ys
enum_values.sv
enum_values.ys
memory_semantics.ys Add -nordff to test 2024-02-06 10:36:30 +01:00
range_case.sv
range_case.ys
rom_case.ys
run-test.sh tests/verific: Don't ASAN verific 2025-06-28 11:33:18 +12:00
setenv.flist add setenv pass 2024-12-06 11:25:43 +01:00
setenv.ys add setenv pass 2024-12-06 11:25:43 +01:00