N. Engelhardt 02323295b0 Merge pull request #5179 from YosysHQ/krys/assert2cover

2025-07-10 14:53:22 +02:00

..

dynamic_part_select

…

.gitignore

Testing cutpoint with boxed selections

2025-04-11 04:12:34 +12:00

abc9.v

…

abc9.ys

…

abstract_init.ys

abstract: test -slice from:to for -init

2025-02-25 00:22:14 +01:00

abstract_state.ys

…

abstract_value.ys

…

aiger2.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

…

box_derive.ys

…

bug1496.ys

…

bug1531.ys

…

bug1614.ys

…

bug1710.ys

…

bug1745.ys

…

bug1781.ys

…

bug1876.ys

…

bug2014.ys

…

bug3462.ys

…

bug3879.ys

…

bug4082.ys

…

bug4865.ys

ice40_dsp: fix test

2025-03-26 15:13:05 +02:00

bug4909.ys

splitcells: add tests

2025-03-10 19:41:22 +02:00

cellarray_array_connections.ys

…

celledges_shift.ys

…

check_2.ys

…

check_3.ys

…

check_4.ys

…

check.ys

…

chformal_check.ys

chformal: Add -assert2cover option

2025-06-14 10:54:23 +12:00

chformal_coverenable.ys

…

chparam.sh

…

clk2fflogic_effects.sh

…

clk2fflogic_effects.sv

…

const_arg_loop.sv

…

const_arg_loop.ys

…

const_func_block_var.v

…

const_func_block_var.ys

…

const_func.sv

…

const_func.ys

…

constant_drive_conflict.ys

…

constcomment.ys

…

constmsk_test.v

…

constmsk_test.ys

…

constmsk_testmap.v

…

countbits.sv

…

countbits.ys

…

cutpoint_blackbox.ys

cutpoint.cc: Fold -instances into -blackbox

2025-04-11 04:12:35 +12:00

cutpoint_whole.ys

cutpoint: Re-add whole module optimization

2025-05-06 09:57:34 +12:00

deminout_unused.ys

…

design1.ys

…

design2.ys

…

design.ys

…

dynamic_part_select.ys

…

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

…

formalff_declockgate.ys

formalff: Fix -declockgate test and missing emit for memories

2025-04-18 18:57:59 +02:00

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_generate.ys

…

hierarchy_param.ys

…

hierarchy.sh

…

ice40_mince_abc9.ys

…

integer_range_bad_syntax.ys

…

integer_real_bad_syntax.ys

…

json_escape_chars.ys

…

json_scopeinfo.ys

…

keep_hierarchy.ys

…

logger_cmd_error.sh

…

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

…

peepopt_formal.ys

…

peepopt.ys

…

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

…

rename_unescape.ys

rename: add -unescape

2025-06-24 12:33:33 +02:00

rtlil_signed_attribute.ys

…

rtlil_z_bits.ys

…

run-test.sh

…

scopeinfo.ys

…

scratchpad.ys

…

script.ys

…

setundef.sv

…

setundef.ys

…

sformatf.ys

…

shregmap.v

…

shregmap.ys

…

signed.ys

…

signext.ys

…

sim_const.ys

…

specify.v

…

specify.ys

…

splitnets.ys

splitnets: handle single-bit vectors consistently

2025-06-05 10:58:06 +02:00

src.ys

…

sta.ys

…

stat.ys

create testcase to check correct addition of areas.

2025-04-20 16:44:22 +02:00

struct_access.sv

…

struct_access.ys

…

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

…

tcl_apis.tcl

…

tcl_apis.v

…

tcl_apis.ys

…

wrapcell.ys

…

wreduce2.ys

…

wreduce.ys

…

write_gzip.ys

…

xaiger.ys

…