Robert O'Callahan 25aafab86b Set port_id for Verific PortBus wires

2025-10-23 20:51:53 +00:00

..

blackbox_empty.ys

…

blackbox_ql.ys

…

blackbox.ys

…

bounds.sv

…

bounds.vhd

…

bounds.ys

…

case.sv

…

case.ys

…

chformal.ys

…

clocking.ys

…

enum_values.sv

…

enum_values.ys

…

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

…

port_bus_order.ys

Set port_id for Verific PortBus wires

2025-10-23 20:51:53 +00:00

range_case.sv

…

range_case.ys

…

rom_case.ys

…

run-test.sh

…

setenv.flist

…

setenv.ys

…

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