241 commits

Author	SHA1	Message	Date
Eddie Hung	39fdcb892b	async2sync -> clk2fflogic	2019-11-21 16:27:34 -08:00
David Shah	49b670ca38	sv: Add tests for SV always types ... Signed-off-by: David Shah <dave@ds0.me>	2019-11-21 21:06:28 +00:00
Eddie Hung	1cc106452f	Add a equiv test too	2019-11-19 17:05:14 -08:00
Marcin Kościelnicki	15232a48af	Fix #1462, #1480.	2019-11-19 08:57:39 +01:00
Marcin Kościelnicki	38e72d6e13	Fix #1496.	2019-11-18 04:16:48 +01:00
Eddie Hung	045f344038	Use sat -tempinduct and comments for why equiv_opt not sufficient	2019-10-03 11:11:50 -07:00
Eddie Hung	e9645c7fa7	Fix broken CI, check reset even for constants, trim rstmux	2019-10-02 21:26:26 -07:00
Eddie Hung	e4bd5aaebf	Fix test	2019-10-02 18:12:25 -07:00
Eddie Hung	f6fabc8fda	Update test	2019-10-02 18:03:45 -07:00
Eddie Hung	e730a595ee	Add test	2019-10-02 18:01:41 -07:00
Eddie Hung	b66c99ece0	Merge pull request #1355 from YosysHQ/eddie/peepopt_dffmuxext ... peepopt_dffmux -- bit optimisations for word level $dff + (enable/reset) $mux cells	2019-09-18 12:40:08 -07:00
Eddie Hung	f492567c87	Oops	2019-09-13 18:19:07 -07:00
Eddie Hung	a2eee9ebef	Add counter-example from @cliffordwolf	2019-09-13 16:41:10 -07:00
Eddie Hung	14d72c39c3	Revert "Make one check $shift(x)? only; change testcase to be 8b" ... This reverts commit e2c2d784c8.	2019-09-13 16:33:18 -07:00
Eddie Hung	bdb5e0f29c	Cope with presence of reset muxes too	2019-09-11 13:36:37 -07:00
Eddie Hung	f46ef47893	Add more tests	2019-09-11 13:22:41 -07:00
David Shah	c43e52d2d7	Add equiv_opt -multiclock ... Signed-off-by: David Shah <dave@ds0.me>	2019-09-11 13:55:59 +01:00
Eddie Hung	3a8582081e	proc instead of prep	2019-09-11 00:14:06 -07:00
Eddie Hung	580faae8ad	Add unsigned case	2019-09-11 00:07:17 -07:00
Eddie Hung	97e1520b13	Missing equiv_opt -assert	2019-09-06 22:50:03 -07:00
Eddie Hung	e2c2d784c8	Make one check $shift(x)? only; change testcase to be 8b	2019-09-06 22:48:23 -07:00
Eddie Hung	51b559af2c	Usee equiv_opt -assert	2019-09-06 22:48:04 -07:00
Eddie Hung	ef0681ea4c	simple/peepopt.v tests to various/peepopt.ys with equiv_opt & select	2019-09-05 08:43:22 -07:00
Eddie Hung	ba629e6a28	Merge remote-tracking branch 'origin/master' into xaig_arrival	2019-09-04 15:36:07 -07:00
Eddie Hung	0ca0706630	Expand test with `hierarchy' without -auto-top	2019-09-03 12:17:26 -07:00
Eddie Hung	8124716830	Add read -noverific before read	2019-09-03 10:52:34 -07:00
Eddie Hung	d6a84a78a7	Merge remote-tracking branch 'origin/master' into eddie/deferred_top	2019-09-03 10:49:21 -07:00
Eddie Hung	4290548de3	Make abc9 test a bit more interesting	2019-08-30 20:31:53 -07:00
Eddie Hung	67587bad7f	Add constant expression attribute to test	2019-08-29 09:10:20 -07:00
Eddie Hung	1fdb3fc98c	Add failing test	2019-08-28 19:58:58 -07:00
Eddie Hung	78b7d8f531	Merge remote-tracking branch 'origin/master' into eddie/xilinx_srl	2019-08-23 11:32:44 -07:00
Eddie Hung	fe1b2337fd	Do not propagate mem2reg attribute through to result	2019-08-22 16:57:59 -07:00
Eddie Hung	66607845ec	Remove Xilinx test	2019-08-22 16:18:07 -07:00
Eddie Hung	e7a8cdbccf	Add shregmap -tech xilinx test	2019-08-22 16:16:54 -07:00
Eddie Hung	a6776ee35e	mem2reg to preserve user attributes and src	2019-08-21 13:36:01 -07:00
Clifford Wolf	1e3dd0a2da	Merge branch 'master' of github.com:YosysHQ/yosys into clifford/pmgen	2019-08-19 13:04:06 +02:00
Eddie Hung	e34f2de55d	Merge remote-tracking branch 'origin/master' into clifford/testfast	2019-08-18 21:29:15 -07:00
Eddie Hung	f5170a7eda	Removal of more stat calls from tests	2019-08-18 21:28:45 -07:00
whitequark	101235400c	Merge branch 'master' into eddie/pr1266_again	2019-08-18 08:04:10 +00:00
Clifford Wolf	9e940f1276	Speed up "make test" and related cleanups ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-08-17 14:37:07 +02:00
Clifford Wolf	f20be90436	Add test for pmtest_test "reduce" demo pattern ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-08-17 14:05:10 +02:00
Clifford Wolf	40c40d9f5d	Do not use Verific in tests/various/write_gzip.ys ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-08-16 14:22:46 +02:00
Eddie Hung	12c692f6ed	Revert "Merge pull request #1280 from YosysHQ/revert-1266-eddie/ice40_full_adder" ... This reverts commit c851dc1310, reversing changes made to f54bf1631f.	2019-08-12 12:06:45 -07:00
Eddie Hung	88d5185596	Merge remote-tracking branch 'origin/master' into eddie/fix_1262	2019-08-11 21:13:40 -07:00
David Shah	f9020ce2b3	Revert "Wrap SB_LUT+SB_CARRY into $__ICE40_CARRY_WRAPPER"	2019-08-10 17:14:48 +01:00
Eddie Hung	8bf45f34c4	Remove dump call	2019-08-07 21:36:02 -07:00
Eddie Hung	2b6cdfb39f	Move tests/various/opt* into tests/opt/	2019-08-07 21:35:48 -07:00
Eddie Hung	35bf509603	Add testcase from removed opt_ff.{v,ys}	2019-08-07 21:31:32 -07:00
Eddie Hung	2d1b517b01	Add signed opt_expr tests	2019-08-06 15:40:30 -07:00
Eddie Hung	769c750c22	Add signed test	2019-08-06 15:38:43 -07:00