N. Engelhardt d009bcc9b6 Merge pull request #5198 from YosysHQ/nak/lcov		2025-07-17 11:57:58 +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: test -slice for all modes, -rtlilslice for -init	2025-02-25 00:18:16 +01:00
abstract_value.ys	abstract: test -slice for all modes, -rtlilslice for -init	2025-02-25 00:18:16 +01:00
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	extract_fa: Add test case	2025-01-30 18:45:06 +01:00
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.ys
check_2.ys
check_3.ys
check_4.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.sv
const_func.ys
const_func_block_var.v
const_func_block_var.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
design.ys
design1.ys
design2.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.v
fib.ys
fib_tern.v
fib_tern.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.sh
hierarchy_defer.ys
hierarchy_generate.ys
hierarchy_param.ys
ice40_mince_abc9.ys
integer_range_bad_syntax.ys
integer_real_bad_syntax.ys
json_escape_chars.ys
json_scopeinfo.ys	emit $scopeinfo cells by default	2025-01-08 14:47:46 +01:00
keep_hierarchy.ys
lcov.gold	print summary of line coverage to log	2025-07-16 13:40:07 +02:00
lcov.v	update test to use suggested selection for assertions	2025-07-01 11:46:27 +02:00
lcov.ys	update test to use suggested selection for assertions	2025-07-01 11:46:27 +02:00
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.ys
peepopt_formal.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	test: restore verific handling, nicer naming	2024-12-13 10:24:47 +01:00
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.ys
submod_extract.ys
sv_defines.ys
sv_defines_dup.ys
sv_defines_mismatch.ys
sv_defines_too_few.ys
sv_implicit_ports.sh
svalways.sh
tcl_apis.tcl	Redo integer passing on top of bignum	2024-12-02 19:56:51 +01:00
tcl_apis.v	Redo integer passing on top of bignum	2024-12-02 19:56:51 +01:00
tcl_apis.ys
wrapcell.ys	wrapcell: Test check -assert post wrapping	2024-12-10 15:13:31 +01:00
wreduce.ys
wreduce2.ys	wreduce: Optimize signedness when possible	2024-12-16 12:57:08 +01:00
write_gzip.ys
xaiger.ys