| .. |
|
dynamic_part_select
|
|
|
|
.gitignore
|
Merge remote-tracking branch 'donn/pyosys_bugfixes' into merge_pybind11
|
2025-10-26 02:39:43 +03:00 |
|
abc9.v
|
|
|
|
abc9.ys
|
Skip some various tests and fix scopeinfo to match our convention
|
2024-09-23 05:39:39 -07:00 |
|
abstract_init.ys
|
abstract: test -slice from:to for -init
|
2025-02-25 00:22:14 +01:00 |
|
abstract_initstates.ys
|
abstract: Add -initstates option
|
2025-08-12 15:37:12 +02: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
|
kernel: Rewrite bufNormalize
|
2025-09-17 13:56:46 +02:00 |
|
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
|
autoname.ys: Extra check for rename order
|
2025-09-26 11:36:23 +12:00 |
|
blackbox_wb.ys
|
|
|
|
box_derive.ys
|
box_derive: rename -apply to -apply_derived_type
|
2025-10-13 17:24:32 +02:00 |
|
bufnorm_opt_clean.ys
|
bufnorm: Refactor and fix incremental bufNormalize
|
2025-09-29 08:21:28 +02:00 |
|
bug1496.ys
|
Remove references to ilang
|
2024-11-05 12:36:31 +13:00 |
|
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
|
More minor cleanup
|
2025-09-28 07:19:53 -07:00 |
|
check_2.ys
|
Final cleanup
|
2025-02-14 10:18:13 -08:00 |
|
check_3.ys
|
Final cleanup
|
2025-02-14 10:18:13 -08:00 |
|
check_4.ys
|
fixes for the yosys test
|
2025-03-27 17:19:08 -07:00 |
|
chformal_check.ys
|
chformal: Add -assert2cover option
|
2025-06-14 10:54:23 +12: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
|
clk2fflogic: Fix handling of $check cells
|
2024-02-14 11:42:27 +01:00 |
|
clk2fflogic_effects.sv
|
clk2fflogic: Fix handling of $check cells
|
2024-02-14 11:42:27 +01:00 |
|
const_arg_loop.sv
|
|
|
|
const_arg_loop.ys
|
Merge upstream in
|
2025-09-09 05:50:48 -07:00 |
|
const_func.sv
|
|
|
|
const_func.ys
|
Merge upstream in
|
2025-09-09 05:50:48 -07:00 |
|
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
|
Merge upstream in
|
2025-09-09 05:50:48 -07:00 |
|
cutpoint_blackbox.ys
|
Fixups
|
2025-09-29 03:49:44 -07: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_assume.ys
|
tests: Add equiv_induct to equiv_assume.ys
|
2025-08-06 15:13:04 +12:00 |
|
equiv_make_make_assert.ys
|
|
|
|
equiv_opt_multiclock.ys
|
|
|
|
equiv_opt_undef.ys
|
Remove references to ilang
|
2024-11-05 12:36:31 +13:00 |
|
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
|
add command that should not have any effect to hierarchy -generate test (this documents the current behavior, not sure if it is desired functionality)
|
2024-04-12 13:51:06 +02:00 |
|
hierarchy_param.ys
|
|
|
|
ice40_mince_abc9.ys
|
Skip some various tests and fix scopeinfo to match our convention
|
2024-09-23 05:39:39 -07:00 |
|
integer_range_bad_syntax.ys
|
|
|
|
integer_real_bad_syntax.ys
|
|
|
|
json_escape_chars.ys
|
|
|
|
json_scopeinfo.ys
|
Undo flatten -scopeinfo to -noscopeinfo
|
2025-04-22 16:32:22 -07:00 |
|
keep_hierarchy.ys
|
Add keep_hierarchy test
|
2024-11-05 09:28:45 +01:00 |
|
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
|
Use upstream implementation of logger_cmd_error.sh in tests/various
|
2025-11-04 22:00:26 -08:00 |
|
logger_error.ys
|
|
|
|
logger_fail.sh
|
Updating Yosys
|
2024-10-03 01:46:09 -07:00 |
|
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
|
Merge upstream in
|
2025-09-09 05:50:48 -07:00 |
|
peepopt.ys
|
|
|
|
peepopt_formal.ys
|
peepopt clockgateff: add testcase
|
2024-08-07 10:21:52 +01:00 |
|
plugin.cc
|
|
|
|
plugin.sh
|
plugins: add search path
|
2025-10-15 14:13:25 +03:00 |
|
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.cc: Fixup ports after -unescape
|
2025-08-15 10:48:32 +12:00 |
|
rename_wire_move_to_cell.ys
|
rename: add -move-to-cell option in -wire mode
|
2025-08-13 11:11:52 +02:00 |
|
rtlil_signed_attribute.ys
|
Ensure signed constants are correctly parsed, represented, and exported in RTLIL. Add a test to check parsing and exporting
|
2024-08-21 14:28:42 +01:00 |
|
rtlil_z_bits.ys
|
|
|
|
run-test.sh
|
test: restore verific handling, nicer naming
|
2024-12-13 10:24:47 +01:00 |
|
scopeinfo.ys
|
Undo flatten -scopeinfo to -noscopeinfo
|
2025-04-22 16:32:22 -07:00 |
|
scratchpad.ys
|
|
|
|
script.ys
|
|
|
|
setundef.sv
|
Fix setting bits of parameters in setundef pass
|
2024-11-08 17:03:08 +01:00 |
|
setundef.ys
|
Fix setting bits of parameters in setundef pass
|
2024-11-08 17:03:08 +01:00 |
|
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
|
updated testcase
|
2025-08-16 09:32:08 +02:00 |
|
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.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
|
Fix test
|
2024-11-04 16:19:59 +01:00 |
|
test_splitnets.tcl
|
splitnets new options
|
2025-02-19 09:43:53 -08:00 |
|
test_splitnets.v
|
splitnets new options
|
2025-02-19 09:43:53 -08:00 |
|
test_splitnets.ys
|
splitnets new options
|
2025-02-19 09:43:53 -08:00 |
|
timeest.ys
|
timeest: Add top ports launching/sampling
|
2025-11-03 14:21:28 +01:00 |
|
wrapcell.ys
|
opt_clean was removing the unused bits annotation
|
2025-01-16 19:48:31 -08:00 |
|
wreduce.ys
|
|
|
|
wreduce2.ys
|
wreduce: Optimize signedness when possible
|
2024-12-16 12:57:08 +01:00 |
|
write_gzip.ys
|
|
|
|
xaiger.ys
|
|
|
