src/Testcases/YosysTests/verific/vhdl/test.ys

verific -work foo -vhdl foo.vhd
verific -work bar -vhdl bar.vhd
verific -vhdl top.vhd
verific -import top
read_verilog -sv tb.sv
prep -flatten -top tb
sat -prove-asserts -prove-skip 5 -seq 10 -show-all tb