Jannis Harder ffb82df33c Additional tests for FV $check compatibility

2024-02-02 16:07:10 +01:00

..

dynamic_part_select

Add torture test for (* nowrshmsk *) stride optimization

2024-01-10 20:28:36 +01:00

.gitignore

…

abc9.v

…

abc9.ys

…

aiger_dff.ys

…

async.sh

…

async.v

…

attrib05_port_conn.v

…

attrib05_port_conn.ys

…

attrib07_func_call.v

…

attrib07_func_call.ys

…

autoname.ys

…

blackbox_wb.ys

…

bug1496.ys

…

bug1531.ys

…

bug1614.ys

…

bug1710.ys

…

bug1745.ys

…

bug1781.ys

…

bug1876.ys

…

bug2014.ys

…

bug3462.ys

…

bug4082.ys

rtlil: Add wire deletion test

2024-01-29 11:25:54 +01:00

cellarray_array_connections.ys

…

chformal_check.ys

Additional tests for FV $check compatibility

2024-02-02 16:07:10 +01:00

chformal_coverenable.ys

Additional tests for FV $check compatibility

2024-02-02 16:07:10 +01:00

chparam.sh

tests: Run async2sync before sat and/or sim to handle $check cells

2024-02-01 16:14:11 +01:00

clk2fflogic_effects.sh

Additional tests for FV $check compatibility

2024-02-02 16:07:10 +01:00

clk2fflogic_effects.sv

Additional tests for FV $check compatibility

2024-02-02 16:07:10 +01:00

const_arg_loop.sv

…

const_arg_loop.ys

tests: Run async2sync before sat and/or sim to handle $check cells

2024-02-01 16:14:11 +01:00

const_func_block_var.v

…

const_func_block_var.ys

…

const_func.sv

…

const_func.ys

tests: Run async2sync before sat and/or sim to handle $check cells

2024-02-01 16:14:11 +01:00

constant_drive_conflict.ys

…

constcomment.ys

…

constmsk_test.v

…

constmsk_test.ys

…

constmsk_testmap.v

…

countbits.sv

…

countbits.ys

tests: Run async2sync before sat and/or sim to handle $check cells

2024-02-01 16:14:11 +01:00

deminout_unused.ys

…

design1.ys

…

design2.ys

…

design.ys

…

dynamic_part_select.ys

Add torture test for (* nowrshmsk *) stride optimization

2024-01-10 20:28:36 +01:00

elab_sys_tasks.sv

…

elab_sys_tasks.ys

…

equiv_make_make_assert.ys

…

equiv_opt_multiclock.ys

…

equiv_opt_undef.ys

…

exec.ys

…

fib_tern.v

…

fib_tern.ys

…

fib.v

…

fib.ys

…

func_port_implied_dir.sv

…

func_port_implied_dir.ys

…

gen_if_null.v

…

gen_if_null.ys

…

global_scope.ys

…

gzip_verilog.v.gz

…

gzip_verilog.ys

…

help.ys

…

hierarchy_defer.ys

…

hierarchy_param.ys

…

hierarchy.sh

…

ice40_mince_abc9.ys

…

integer_range_bad_syntax.ys

…

integer_real_bad_syntax.ys

…

json_escape_chars.ys

…

logger_error.ys

…

logger_fail.sh

…

logger_nowarning.ys

…

logger_warn.ys

…

logger_warning.ys

…

logic_param_simple.ys

…

mem2reg.ys

…

memory_word_as_index.data

…

memory_word_as_index.v

…

memory_word_as_index.ys

…

muxcover.ys

…

muxpack.v

…

muxpack.ys

…

param_struct.ys

tests: Run async2sync before sat and/or sim to handle $check cells

2024-02-01 16:14:11 +01:00

peepopt.ys

peepopt: Fix padding for the peepopt_shiftmul_right pattern

2023-12-06 18:35:44 +01:00

plugin.cc

…

plugin.sh

…

pmgen_reduce.ys

…

pmux2shiftx.v

…

pmux2shiftx.ys

…

port_sign_extend.v

…

port_sign_extend.ys

…

primitives.ys

…

printattr.ys

…

rand_const.sv

…

rand_const.ys

…

reg_wire_error.sv

…

reg_wire_error.ys

…

rename_scramble_name.ys

…

rtlil_z_bits.ys

…

run-test.sh

…

scratchpad.ys

…

script.ys

…

sformatf.ys

…

shregmap.v

…

shregmap.ys

…

signed.ys

…

signext.ys

…

sim_const.ys

…

specify.v

…

specify.ys

…

src.ys

…

sta.ys

…

struct_access.sv

…

struct_access.ys

tests: Run async2sync before sat and/or sim to handle $check cells

2024-02-01 16:14:11 +01:00

sub.v

…

submod_extract.ys

…

submod.ys

…

sv_defines_dup.ys

…

sv_defines_mismatch.ys

…

sv_defines_too_few.ys

…

sv_defines.ys

…

sv_implicit_ports.sh

…

svalways.sh

…

wreduce.ys

…

write_gzip.ys

…

xaiger.ys

…