various « tests - iCE40/yosys

Mode	Name	Size
-rw-r--r--	.gitignore	142	log stats plain
-rw-r--r--	abc9.v	338	log stats plain
-rw-r--r--	abc9.ys	3135	log stats plain
-rw-r--r--	aiger_dff.ys	198	log stats plain
-rw-r--r--	async.sh	496	log stats plain
-rw-r--r--	async.v	1842	log stats plain
-rw-r--r--	attrib05_port_conn.v	405	log stats plain
-rw-r--r--	attrib05_port_conn.ys	64	log stats plain
-rw-r--r--	attrib07_func_call.v	393	log stats plain
-rw-r--r--	attrib07_func_call.ys	64	log stats plain
-rw-r--r--	autoname.ys	320	log stats plain
-rw-r--r--	blackbox_wb.ys	280	log stats plain
-rw-r--r--	bug1496.ys	167	log stats plain
-rw-r--r--	bug1531.ys	687	log stats plain
-rw-r--r--	bug1614.ys	81	log stats plain
-rw-r--r--	bug1710.ys	522	log stats plain
-rw-r--r--	bug1745.ys	189	log stats plain
-rw-r--r--	bug1781.ys	440	log stats plain
-rw-r--r--	bug1876.ys	1251	log stats plain
-rw-r--r--	bug2014.ys	207	log stats plain
-rw-r--r--	bug3462.ys	183	log stats plain
-rw-r--r--	cellarray_array_connections.ys	706	log stats plain
-rw-r--r--	chformal_coverenable.ys	455	log stats plain
-rw-r--r--	chparam.sh	1383	log stats plain
-rw-r--r--	const_arg_loop.sv	1571	log stats plain
-rw-r--r--	const_arg_loop.ys	135	log stats plain
-rw-r--r--	const_func.sv	2172	log stats plain
-rw-r--r--	const_func.ys	139	log stats plain
-rw-r--r--	const_func_block_var.v	514	log stats plain
-rw-r--r--	const_func_block_var.ys	36	log stats plain
-rw-r--r--	constcomment.ys	426	log stats plain
-rw-r--r--	constmsk_test.v	133	log stats plain
-rw-r--r--	constmsk_test.ys	298	log stats plain
-rw-r--r--	constmsk_testmap.v	1339	log stats plain
-rw-r--r--	countbits.sv	2665	log stats plain
-rw-r--r--	countbits.ys	138	log stats plain
-rw-r--r--	deminout_unused.ys	206	log stats plain
-rw-r--r--	design.ys	255	log stats plain
-rw-r--r--	design1.ys	188	log stats plain
-rw-r--r--	design2.ys	186	log stats plain
-rw-r--r--	dynamic_part_select.ys	4312	log stats plain
d---------	dynamic_part_select	743	log stats plain
-rw-r--r--	elab_sys_tasks.sv	548	log stats plain
-rw-r--r--	elab_sys_tasks.ys	35	log stats plain
-rw-r--r--	equiv_make_make_assert.ys	478	log stats plain
-rw-r--r--	equiv_opt_multiclock.ys	217	log stats plain
-rw-r--r--	equiv_opt_undef.ys	545	log stats plain
-rw-r--r--	exec.ys	256	log stats plain
-rw-r--r--	fib.v	1647	log stats plain
-rw-r--r--	fib.ys	95	log stats plain
-rw-r--r--	fib_tern.v	1728	log stats plain
-rw-r--r--	fib_tern.ys	100	log stats plain
-rw-r--r--	func_port_implied_dir.sv	476	log stats plain
-rw-r--r--	func_port_implied_dir.ys	118	log stats plain
-rw-r--r--	gen_if_null.v	252	log stats plain
-rw-r--r--	gen_if_null.ys	133	log stats plain
-rw-r--r--	global_scope.ys	283	log stats plain
-rw-r--r--	gzip_verilog.v.gz	82	log stats plain
-rw-r--r--	gzip_verilog.ys	54	log stats plain
-rw-r--r--	help.ys	26	log stats plain
-rw-r--r--	hierarchy.sh	1132	log stats plain
-rw-r--r--	hierarchy_defer.ys	432	log stats plain
-rw-r--r--	hierarchy_param.ys	305	log stats plain
-rw-r--r--	ice40_mince_abc9.ys	253	log stats plain
-rw-r--r--	integer_range_bad_syntax.ys	148	log stats plain
-rw-r--r--	integer_real_bad_syntax.ys	154	log stats plain
-rw-r--r--	json_escape_chars.ys	419	log stats plain
-rw-r--r--	logger_error.ys	149	log stats plain
-rwxr-xr-x	logger_fail.sh	962	log stats plain
-rw-r--r--	logger_nowarning.ys	127	log stats plain
-rw-r--r--	logger_warn.ys	181	log stats plain
-rw-r--r--	logger_warning.ys	117	log stats plain
-rw-r--r--	logic_param_simple.ys	259	log stats plain
-rw-r--r--	mem2reg.ys	377	log stats plain
-rw-r--r--	memory_word_as_index.data	48	log stats plain
-rw-r--r--	memory_word_as_index.v	474	log stats plain
-rw-r--r--	memory_word_as_index.ys	294	log stats plain
-rw-r--r--	muxcover.ys	11572	log stats plain
-rw-r--r--	muxpack.v	6996	log stats plain
-rw-r--r--	muxpack.ys	6359	log stats plain
-rw-r--r--	param_struct.ys	909	log stats plain
-rw-r--r--	peepopt.ys	1497	log stats plain
-rw-r--r--	plugin.cc	326	log stats plain
-rw-r--r--	plugin.sh	327	log stats plain
-rw-r--r--	pmgen_reduce.ys	625	log stats plain
-rw-r--r--	pmux2shiftx.v	742	log stats plain
-rw-r--r--	pmux2shiftx.ys	668	log stats plain
-rw-r--r--	port_sign_extend.v	2024	log stats plain
-rw-r--r--	port_sign_extend.ys	421	log stats plain
-rw-r--r--	primitives.ys	504	log stats plain
-rw-r--r--	printattr.ys	277	log stats plain
-rw-r--r--	rand_const.sv	132	log stats plain
-rw-r--r--	rand_const.ys	31	log stats plain
-rw-r--r--	reg_wire_error.sv	1477	log stats plain
-rw-r--r--	reg_wire_error.ys	35	log stats plain
-rw-r--r--	rename_scramble_name.ys	575	log stats plain
-rw-r--r--	rtlil_z_bits.ys	175	log stats plain
-rwxr-xr-x	run-test.sh	93	log stats plain
-rw-r--r--	scratchpad.ys	139	log stats plain
-rw-r--r--	script.ys	440	log stats plain
-rw-r--r--	sformatf.ys	236	log stats plain
-rw-r--r--	shregmap.v	1136	log stats plain
-rw-r--r--	shregmap.ys	581	log stats plain
-rw-r--r--	signed.ys	497	log stats plain
-rw-r--r--	signext.ys	666	log stats plain
-rw-r--r--	sim_const.ys	220	log stats plain
-rw-r--r--	smtlib2_module-expected.smt2	5129	log stats plain
-rwxr-xr-x	smtlib2_module.sh	350	log stats plain
-rw-r--r--	smtlib2_module.v	582	log stats plain
-rw-r--r--	specify.v	1234	log stats plain
-rw-r--r--	specify.ys	2166	log stats plain
-rw-r--r--	src.ys	262	log stats plain
-rw-r--r--	sta.ys	1194	log stats plain
-rw-r--r--	struct_access.sv	813	log stats plain
-rw-r--r--	struct_access.ys	97	log stats plain
-rw-r--r--	sub.v	83	log stats plain
-rw-r--r--	submod.ys	2080	log stats plain
-rw-r--r--	submod_extract.ys	473	log stats plain
-rw-r--r--	sv_defines.ys	1008	log stats plain
-rw-r--r--	sv_defines_dup.ys	148	log stats plain
-rw-r--r--	sv_defines_mismatch.ys	159	log stats plain
-rw-r--r--	sv_defines_too_few.ys	307	log stats plain
-rwxr-xr-x	sv_implicit_ports.sh	3643	log stats plain
-rwxr-xr-x	svalways.sh	1324	log stats plain
-rw-r--r--	wreduce.ys	1534	log stats plain
-rw-r--r--	write_gzip.ys	274	log stats plain
-rw-r--r--	xaiger.ys	205	log stats plain