415 commits

Author	SHA1	Message	Date
Eddie Hung	94f15f023c	Merge remote-tracking branch 'origin/master' into xaig_dff	2019-12-19 10:29:40 -08:00
Eddie Hung	d406f2ffd7	Merge pull request #1569 from YosysHQ/eddie/fix_1531 ... verilog: preserve size of $genval$-s in for loops	2019-12-19 12:21:33 -05:00
N. Engelhardt	abcd82daca	add assert option to scratchpad command	2019-12-16 14:00:21 +01:00
N. Engelhardt	1187e91c2f	add test and make help message more verbose	2019-12-12 20:51:59 +01:00
Eddie Hung	151f7533e8	Add testcase	2019-12-11 16:52:37 -08:00
Eddie Hung	705e520a52	Add a quick testcase for unknown modules as inout	2019-12-09 13:14:46 -08:00
Eddie Hung	c61186dd9d	Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dff	2019-11-27 13:24:03 -08:00
Eddie Hung	ff1e357682	Add multiple driver testcase	2019-11-27 13:22:26 -08:00
Eddie Hung	6338615aa1	Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dff	2019-11-27 01:02:16 -08:00
Eddie Hung	8c813632b6	Revert "submod to bitty rather bussy, for bussy wires used as input and output" ... This reverts commit cba3073026.	2019-11-27 00:48:22 -08:00
Eddie Hung	6318e3ce6d	Fix wire width	2019-11-26 23:38:49 -08:00
Eddie Hung	dd317c9280	Add testcase where \init is copied	2019-11-25 16:07:35 -08:00
Eddie Hung	b46e636c91	Merge branch 'xaig_dff' of github.com:YosysHQ/yosys into xaig_dff	2019-11-23 08:38:48 -08:00
Eddie Hung	d223e11a72	Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dff	2019-11-22 22:28:35 -08:00
Eddie Hung	5cd3d3db0a	Remove redundant flatten	2019-11-22 22:28:10 -08:00
Eddie Hung	08f85e6438	Stray dump	2019-11-22 20:53:48 -08:00
Eddie Hung	2c5dfd802d	Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dff	2019-11-22 17:24:45 -08:00
Eddie Hung	4fdcf8f7d7	Add another test with constant driver	2019-11-22 17:23:34 -08:00
Eddie Hung	0806b8e398	Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dff	2019-11-22 16:50:56 -08:00
Eddie Hung	8779faf789	Cleanup spacing	2019-11-22 16:50:09 -08:00
Eddie Hung	2ef2e2c040	Add testcase	2019-11-22 16:48:11 -08:00
Eddie Hung	bd56161775	Merge branch 'eddie/clkpart' into xaig_dff	2019-11-22 15:38:48 -08:00
Eddie Hung	6841e3b1c2	Another sloppy mistake!	2019-11-21 16:33:20 -08:00
Eddie Hung	fe36275234	Merge remote-tracking branch 'origin/xaig_dff' into eddie/xaig_dff_adff	2019-11-21 16:32:52 -08:00
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