Testing problems: 1.scc_feedback - Feedback is detected not in each case(with different options). 2.splice/splice_port - No any changes in the dump after splice -port command. 3.test_cell/test_cell_macc - ERROR: Assert `port_declared == true' failed in kernel/rtlil.cc:1352.
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
abc_D.ys | Loading commit data... | |
abc_S.ys | Loading commit data... | |
abc_g_aig.ys | Loading commit data... | |
abc_g_cmos2.ys | Loading commit data... | |
abc_g_simple.ys | Loading commit data... | |
abc_mux16.ys | Loading commit data... | |
abc_mux4.ys | Loading commit data... | |
abc_mux8.ys | Loading commit data... | |
add.ys | Loading commit data... | |
add_global_input.ys | Loading commit data... | |
add_inout.ys | Loading commit data... | |
add_input.ys | Loading commit data... | |
add_output.ys | Loading commit data... | |
add_wire.ys | Loading commit data... | |
assertpmux.ys | Loading commit data... | |
assertpmux_always.ys | Loading commit data... | |
assertpmux_noinit.ys | Loading commit data... | |
blackbox.ys | Loading commit data... | |
bugpoint.ys | Loading commit data... | |
bugpoint_cells.ys | Loading commit data... | |
bugpoint_clean.ys | Loading commit data... | |
bugpoint_connections.ys | Loading commit data... | |
bugpoint_fast.ys | Loading commit data... | |
bugpoint_grep.ys | Loading commit data... | |
bugpoint_modules.ys | Loading commit data... | |
bugpoint_ports.ys | Loading commit data... | |
bugpoint_script.ys | Loading commit data... | |
bugpoint_yosys.ys | Loading commit data... | |
check.ys | Loading commit data... | |
check_assert.ys | Loading commit data... | |
check_initdrv.ys | Loading commit data... | |
check_noinit.ys | Loading commit data... | |
chformal.ys | Loading commit data... | |
chformal_assert.ys | Loading commit data... | |
chformal_assert2assume.ys | Loading commit data... | |
chformal_assume.ys | Loading commit data... | |
chformal_assume2assert.ys | Loading commit data... | |
chformal_cover.ys | Loading commit data... | |
chformal_delay.ys | Loading commit data... | |
chformal_early.ys | Loading commit data... | |
chformal_fair.ys | Loading commit data... | |
chformal_fair2live.ys | Loading commit data... | |
chformal_fair2live_assert2assume.ys | Loading commit data... | |
chformal_live.ys | Loading commit data... | |
chformal_live2fair.ys | Loading commit data... | |
chformal_proc_early.ys | Loading commit data... | |
chformal_skip.ys | Loading commit data... | |
chparam.ys | Loading commit data... | |
chparam_list.ys | Loading commit data... | |
chparam_set.ys | Loading commit data... | |
chparam_top.ys | Loading commit data... | |
chtype.ys | Loading commit data... | |
chtype_map.ys | Loading commit data... | |
chtype_selection.ys | Loading commit data... | |
chtype_set.ys | Loading commit data... | |
connect_nomap_port.ys | Loading commit data... | |
connect_nomap_set.ys | Loading commit data... | |
connect_nomap_unset.ys | Loading commit data... | |
connect_nounset_set.ys | Loading commit data... | |
connect_port.ys | Loading commit data... | |
connect_set.ys | Loading commit data... | |
connect_unset.ys | Loading commit data... | |
connwrappers.ys | Loading commit data... | |
connwrappers_port.ys | Loading commit data... | |
connwrappers_signed.ys | Loading commit data... | |
connwrappers_unsigned.ys | Loading commit data... | |
cover.ys | Loading commit data... | |
cover_a.ys | Loading commit data... | |
cover_dir.ys | Loading commit data... | |
cover_o.ys | Loading commit data... | |
cover_q.ys | Loading commit data... | |
cutpoint.ys | Loading commit data... | |
cutpoint_undef.ys | Loading commit data... | |
delete.ys | Loading commit data... | |
delete_cell.ys | Loading commit data... | |
delete_input.ys | Loading commit data... | |
delete_mem.ys | Loading commit data... | |
delete_output.ys | Loading commit data... | |
delete_port.ys | Loading commit data... | |
delete_proc.ys | Loading commit data... | |
delete_wire.ys | Loading commit data... | |
design_as.ys | Loading commit data... | |
design_copy_from.ys | Loading commit data... | |
design_copy_to.ys | Loading commit data... | |
design_import.ys | Loading commit data... | |
edgetypes.ys | Loading commit data... | |
eval.ys | Loading commit data... | |
eval_brute_force_equiv_checker.ys | Loading commit data... | |
eval_set.ys | Loading commit data... | |
eval_set_undef.ys | Loading commit data... | |
eval_show.ys | Loading commit data... | |
eval_show_not_set.ys | Loading commit data... | |
eval_table.ys | Loading commit data... | |
eval_table_set.ys | Loading commit data... | |
eval_vloghammer_report.ys | Loading commit data... | |
eval_vloghammer_report_rtl.ys | Loading commit data... | |
fmcombine.ys | Loading commit data... | |
fmcombine_bwd.ys | Loading commit data... | |
fmcombine_bwd_fwd.ys | Loading commit data... | |
fmcombine_fwd.ys | Loading commit data... | |
fmcombine_nop.ys | Loading commit data... | |
freduce.ys | Loading commit data... | |
freduce_dump.ys | Loading commit data... | |
freduce_inv.ys | Loading commit data... | |
freduce_stop.ys | Loading commit data... | |
freduce_v.ys | Loading commit data... | |
freduce_vv.ys | Loading commit data... | |
hilomap.ys | Loading commit data... | |
hilomap_hicell.ys | Loading commit data... | |
hilomap_hicell_locell_singleton.ys | Loading commit data... | |
hilomap_hicell_singleton.ys | Loading commit data... | |
hilomap_locell.ys | Loading commit data... | |
hilomap_locell_singleton.ys | Loading commit data... | |
hilomap_singleton.ys | Loading commit data... | |
insbuf.ys | Loading commit data... | |
insbuf_cell.ys | Loading commit data... | |
log.ys | Loading commit data... | |
log_n.ys | Loading commit data... | |
log_nolog.ys | Loading commit data... | |
log_stderr.ys | Loading commit data... | |
log_stdout.ys | Loading commit data... | |
ltp.ys | Loading commit data... | |
ltp_noff.ys | Loading commit data... | |
miter_assert.ys | Loading commit data... | |
miter_assert_flatten.ys | Loading commit data... | |
mutate_all.ys | Loading commit data... | |
mutate_cnot0.ys | Loading commit data... | |
mutate_cnot1.ys | Loading commit data... | |
mutate_const0.ys | Loading commit data... | |
mutate_const1.ys | Loading commit data... | |
mutate_inv.ys | Loading commit data... | |
mutate_list.ys | Loading commit data... | |
mutate_list_cfg.ys | Loading commit data... | |
mutate_list_ctrl.ys | Loading commit data... | |
mutate_list_none.ys | Loading commit data... | |
mutate_list_o.ys | Loading commit data... | |
mutate_list_s.ys | Loading commit data... | |
mutate_list_seed.ys | Loading commit data... | |
plugin.ys | Loading commit data... | |
plugin_a.ys | Loading commit data... | |
plugin_i.ys | Loading commit data... | |
plugin_l.ys | Loading commit data... | |
pmuxtree.ys | Loading commit data... | |
qwp.ys | Loading commit data... | |
qwp_alpha.ys | Loading commit data... | |
qwp_dump.ys | Loading commit data... | |
qwp_grid.ys | Loading commit data... | |
qwp_ltr.ys | Loading commit data... | |
qwp_v.ys | Loading commit data... | |
rename.ys | Loading commit data... | |
rename_enumerate.ys | Loading commit data... | |
rename_enumerate_pat.ys | Loading commit data... | |
rename_hide.ys | Loading commit data... | |
rename_low.ys | Loading commit data... | |
rename_src.ys | Loading commit data... | |
rename_top.ys | Loading commit data... | |
rename_top_top.ys | Loading commit data... | |
rename_wire.ys | Loading commit data... | |
rmports.ys | Loading commit data... | |
sat.ys | Loading commit data... | |
sat_all.ys | Loading commit data... | |
sat_dump_cnf.ys | Loading commit data... | |
sat_dump_json.ys | Loading commit data... | |
sat_dump_vcd.ys | Loading commit data... | |
sat_enable_undef.ys | Loading commit data... | |
sat_falsify.ys | Loading commit data... | |
sat_falsify_no_timeout.ys | Loading commit data... | |
sat_ignore_div_by_zero.ys | Loading commit data... | |
sat_ignore_unknown_cells.ys | Loading commit data... | |
sat_initsteps.ys | Loading commit data... | |
sat_max.ys | Loading commit data... | |
sat_max_undef.ys | Loading commit data... | |
sat_maxsteps.ys | Loading commit data... | |
sat_prove.ys | Loading commit data... | |
sat_prove_asserts.ys | Loading commit data... | |
sat_prove_skip.ys | Loading commit data... | |
sat_prove_x.ys | Loading commit data... | |
sat_seq.ys | Loading commit data... | |
sat_set.ys | Loading commit data... | |
sat_set_all_undef.ys | Loading commit data... | |
sat_set_all_undef_at.ys | Loading commit data... | |
sat_set_any_undef.ys | Loading commit data... | |
sat_set_any_undef_at.ys | Loading commit data... | |
sat_set_assumes.ys | Loading commit data... | |
sat_set_at.ys | Loading commit data... | |
sat_set_def.ys | Loading commit data... | |
sat_set_def_at.ys | Loading commit data... | |
sat_set_def_inputs.ys | Loading commit data... | |
sat_set_init.ys | Loading commit data... | |
sat_set_init_def.ys | Loading commit data... | |
sat_set_init_undef.ys | Loading commit data... | |
sat_set_init_zero.ys | Loading commit data... | |
sat_show.ys | Loading commit data... | |
sat_show_all.ys | Loading commit data... | |
sat_show_inputs.ys | Loading commit data... | |
sat_show_outputs.ys | Loading commit data... | |
sat_show_ports.ys | Loading commit data... | |
sat_show_public.ys | Loading commit data... | |
sat_show_regs.ys | Loading commit data... | |
sat_stepsize.ys | Loading commit data... | |
sat_tempinduct.ys | Loading commit data... | |
sat_tempinduct_baseonly.ys | Loading commit data... | |
sat_tempinduct_baseonly_maxsteps.ys | Loading commit data... | |
sat_tempinduct_def.ys | Loading commit data... | |
sat_tempinduct_inductonly.ys | Loading commit data... | |
sat_tempinduct_skip.ys | Loading commit data... | |
sat_tempinduct_tempinduct_baseonly.ys | Loading commit data... | |
sat_tempinduct_tempinduct_def.ys | Loading commit data... | |
sat_timeout.ys | Loading commit data... | |
sat_unset_at.ys | Loading commit data... | |
sat_verify.ys | Loading commit data... | |
sat_verify_no_timeout.ys | Loading commit data... | |
scatter.ys | Loading commit data... | |
scc.ys | Loading commit data... | |
scc_all_cell_types.ys | Loading commit data... | |
scc_expect.ys | Loading commit data... | |
scc_max_depth.ys | Loading commit data... | |
scc_nofeedback.ys | Loading commit data... | |
scc_select.ys | Loading commit data... | |
scc_set_attr.ys | Loading commit data... | |
select.ys | Loading commit data... | |
select_%.ys | Loading commit data... | |
select_%C.ys | Loading commit data... | |
select_%M.ys | Loading commit data... | |
select_%R.ys | Loading commit data... | |
select_%R4.ys | Loading commit data... | |
select_%a.ys | Loading commit data... | |
select_%c.ys | Loading commit data... | |
select_%ci.ys | Loading commit data... | |
select_%cie.ys | Loading commit data... | |
select_%co.ys | Loading commit data... | |
select_%coe.ys | Loading commit data... | |
select_%i.ys | Loading commit data... | |
select_%m.ys | Loading commit data... | |
select_%n.ys | Loading commit data... | |
select_%s.ys | Loading commit data... | |
select_%u.ys | Loading commit data... | |
select_%x_%D.ys | Loading commit data... | |
select_%x_%d.ys | Loading commit data... | |
select_%xe.ys | Loading commit data... | |
select_add.ys | Loading commit data... | |
select_add_A.ys | Loading commit data... | |
select_add_A_eq.ys | Loading commit data... | |
select_add_A_less.ys | Loading commit data... | |
select_add_A_lesseq.ys | Loading commit data... | |
select_add_A_more.ys | Loading commit data... | |
select_add_A_moreeq.ys | Loading commit data... | |
select_add_a.ys | Loading commit data... | |
select_add_a_eq.ys | Loading commit data... | |
select_add_a_less.ys | Loading commit data... | |
select_add_a_lesseq.ys | Loading commit data... | |
select_add_a_more.ys | Loading commit data... | |
select_add_a_moreeq.ys | Loading commit data... | |
select_add_all.ys | Loading commit data... | |
select_add_c.ys | Loading commit data... | |
select_add_i.ys | Loading commit data... | |
select_add_m.ys | Loading commit data... | |
select_add_mid.ys | Loading commit data... | |
select_add_n.ys | Loading commit data... | |
select_add_o.ys | Loading commit data... | |
select_add_obj.ys | Loading commit data... | |
select_add_p.ys | Loading commit data... | |
select_add_r.ys | Loading commit data... | |
select_add_r_eq.ys | Loading commit data... | |
select_add_r_less.ys | Loading commit data... | |
select_add_r_lesseq.ys | Loading commit data... | |
select_add_r_more.ys | Loading commit data... | |
select_add_r_moreeq.ys | Loading commit data... | |
select_add_s.ys | Loading commit data... | |
select_add_ss.ys | Loading commit data... | |
select_add_t.ys | Loading commit data... | |
select_add_w.ys | Loading commit data... | |
select_add_x.ys | Loading commit data... | |
select_all.ys | Loading commit data... | |
select_assert_any.ys | Loading commit data... | |
select_assert_count.ys | Loading commit data... | |
select_assert_count_mem.ys | Loading commit data... | |
select_assert_max.ys | Loading commit data... | |
select_assert_max_mem.ys | Loading commit data... | |
select_assert_min.ys | Loading commit data... | |
select_assert_none.ys | Loading commit data... | |
select_cd.ys | Loading commit data... | |
select_cd_module.ys | Loading commit data... | |
select_cd_up.ys | Loading commit data... | |
select_clear.ys | Loading commit data... | |
select_count.ys | Loading commit data... | |
select_del.ys | Loading commit data... | |
select_list.ys | Loading commit data... | |
select_ls.ys | Loading commit data... | |
select_ls_top.ys | Loading commit data... | |
select_module.ys | Loading commit data... | |
select_module_mem.ys | Loading commit data... | |
select_none.ys | Loading commit data... | |
select_read.ys | Loading commit data... | |
select_set.ys | Loading commit data... | |
select_write.ys | Loading commit data... | |
setattr.ys | Loading commit data... | |
setattr_mod.ys | Loading commit data... | |
setattr_set.ys | Loading commit data... | |
setattr_set_proc.ys | Loading commit data... | |
setattr_top.ys | Loading commit data... | |
setattr_unset.ys | Loading commit data... | |
setparam.ys | Loading commit data... | |
setparam_set.ys | Loading commit data... | |
setparam_top.ys | Loading commit data... | |
setparam_type.ys | Loading commit data... | |
setparam_unset.ys | Loading commit data... | |
setundef_anyconst.ys | Loading commit data... | |
setundef_anyseq.ys | Loading commit data... | |
setundef_expose.ys | Loading commit data... | |
setundef_init.ys | Loading commit data... | |
setundef_one.ys | Loading commit data... | |
setundef_random.ys | Loading commit data... | |
setundef_undef.ys | Loading commit data... | |
setundef_undriven.ys | Loading commit data... | |
show.ys | Loading commit data... | |
show_color.ys | Loading commit data... | |
show_colorattr.ys | Loading commit data... | |
show_colors.ys | Loading commit data... | |
show_enum.ys | Loading commit data... | |
show_format.ys | Loading commit data... | |
show_label.ys | Loading commit data... | |
show_lib.ys | Loading commit data... | |
show_long.ys | Loading commit data... | |
show_notitle.ys | Loading commit data... | |
show_pause.ys | Loading commit data... | |
show_prefix.ys | Loading commit data... | |
show_signed.ys | Loading commit data... | |
show_stretch.ys | Loading commit data... | |
show_viewer.ys | Loading commit data... | |
show_width.ys | Loading commit data... | |
sim.ys | Loading commit data... | |
sim_a.ys | Loading commit data... | |
sim_clock.ys | Loading commit data... | |
sim_clock_mem.ys | Loading commit data... | |
sim_clockn.ys | Loading commit data... | |
sim_d.ys | Loading commit data... | |
sim_n.ys | Loading commit data... | |
sim_reset.ys | Loading commit data... | |
sim_resetn.ys | Loading commit data... | |
sim_rstlen.ys | Loading commit data... | |
sim_vcd.ys | Loading commit data... | |
sim_w.ys | Loading commit data... | |
sim_zinit.ys | Loading commit data... | |
sim_zinit_mem.ys | Loading commit data... | |
splice.ys | Loading commit data... | |
splice_no_outputs.ys | Loading commit data... | |
splice_no_port.ys | Loading commit data... | |
splice_port.ys | Loading commit data... | |
splice_sel_any_bit.ys | Loading commit data... | |
splice_sel_by_cell.ys | Loading commit data... | |
splice_sel_by_wire.ys | Loading commit data... | |
splice_wires.ys | Loading commit data... | |
splitnets.ys | Loading commit data... | |
splitnets_dpf.ys | Loading commit data... | |
splitnets_driver.ys | Loading commit data... | |
splitnets_format.ys | Loading commit data... | |
splitnets_ports.ys | Loading commit data... | |
stat.ys | Loading commit data... | |
stat_liberty.ys | Loading commit data... | |
stat_top.ys | Loading commit data... | |
stat_width.ys | Loading commit data... | |
supercover.ys | Loading commit data... | |
tee.ys | Loading commit data... | |
test_abcloop.ys | Loading commit data... | |
test_abcloop_n.ys | Loading commit data... | |
test_abcloop_s.ys | Loading commit data... | |
test_autotb.ys | Loading commit data... | |
test_autotb_file.ys | Loading commit data... | |
test_autotb_n.ys | Loading commit data... | |
test_autotb_seed.ys | Loading commit data... | |
test_cell.ys | Loading commit data... | |
test_cell_aigmap.ys | Loading commit data... | |
test_cell_alu.ys | Loading commit data... | |
test_cell_const.ys | Loading commit data... | |
test_cell_div.ys | Loading commit data... | |
test_cell_edges.ys | Loading commit data... | |
test_cell_f.ys | Loading commit data... | |
test_cell_fa.ys | Loading commit data... | |
test_cell_lcu.ys | Loading commit data... | |
test_cell_lut.ys | Loading commit data... | |
test_cell_macc.ys | Loading commit data... | |
test_cell_map.ys | Loading commit data... | |
test_cell_mux.ys | Loading commit data... | |
test_cell_muxdiv.ys | Loading commit data... | |
test_cell_n.ys | Loading commit data... | |
test_cell_noeval.ys | Loading commit data... | |
test_cell_nosat.ys | Loading commit data... | |
test_cell_pmux.ys | Loading commit data... | |
test_cell_s.ys | Loading commit data... | |
test_cell_script.ys | Loading commit data... | |
test_cell_simlib.ys | Loading commit data... | |
test_cell_sop.ys | Loading commit data... | |
test_cell_v.ys | Loading commit data... | |
test_cell_vlog.ys | Loading commit data... | |
test_cell_w.ys | Loading commit data... | |
torder.ys | Loading commit data... | |
torder_noautostop.ys | Loading commit data... | |
torder_stop.ys | Loading commit data... | |
trace.ys | Loading commit data... | |
trace_mem.ys | Loading commit data... | |
write_file.ys | Loading commit data... | |
write_file_a.ys | Loading commit data... |