github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-01-12 00:42:47 +00:00
Code Issues Releases Wiki Activity
YosysHQ.yosys/tests/verific
History
nataliakokoromyti 2ded4bd893
Update run-test.sh 
fix: preserve newline at eof
2025-12-16 04:16:03 -08: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
blackbox.ys
verific: fix blackbox regression and add test case
2024-11-08 14:57:04 +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
Add test example
2023-02-27 09:24:04 +01:00
case.ys
Add test example
2023-02-27 09:24:04 +01:00
chformal.ys
tests/verific: Add chformal tests
2025-06-14 11:06:38 +12:00
clocking.ys
Fix verific clocking when no driver exist
2024-01-18 08:47:04 +01: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
ext_ramnet_err.sv
add tests
2025-10-14 15:48:16 +02:00
ext_ramnet_err.ys
Fix regex checks
2025-10-14 16:04:56 +02:00
import_warning_operator.vhd
add tests
2025-10-14 15:48:16 +02:00
import_warning_operator.ys
Fix regex checks
2025-10-14 16:04:56 +02:00
memory_semantics.ys
Add -nordff to test
2024-02-06 10:36:30 +01:00
port_bus_order.ys
Set port_id for Verific PortBus wires
2025-10-23 20:51:53 +00:00
range_case.sv
Added ranged case check
2023-02-27 09:24:04 +01:00
range_case.ys
Added ranged case check
2023-02-27 09:24:04 +01:00
rom_case.ys
verific: import attributes on ports
2023-10-20 18:31:41 +02:00
run-test.sh
Update run-test.sh
2025-12-16 04:16:03 -08: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
sva_continue_on_err_explosion.ys
verific: Extend -sva-continue-on-err to handle FSM explosion
2025-09-27 21:13:02 +02:00
sva_continue_on_err.ys
verific: New -sva-continue-on-error import option
2025-09-24 18:58:54 +02:00
sva_no_continue_on_err.ys
verific: New -sva-continue-on-error import option
2025-09-24 18:58:54 +02:00