184 commits

Author	SHA1	Message	Date
Eddie Hung	1d401a7991	clean: ignore specify-s inside cells when determining whether to keep	2020-02-19 10:45:10 -08:00
Eddie Hung	d20c1dac73	verilog: ignore ranges too without -specify	2020-02-13 17:58:43 -08:00
Eddie Hung	6b58c1820c	verilog: improve specify support when not in -specify mode	2020-02-13 13:27:15 -08:00
Eddie Hung	2e51dc1856	verilog: ignore '&&&' when not in -specify mode	2020-02-13 13:06:13 -08:00
Eddie Hung	b523ecf2f4	specify: system timing checks to accept min:typ:max triple	2020-02-13 12:42:15 -08:00
Eddie Hung	7cfdf4ffa7	verilog: fix $specify3 check	2020-02-13 12:42:04 -08:00
N. Engelhardt	e069259a53	Merge pull request #1679 from thasti/delay-parsing ... Fix crash on wire declaration with delay	2020-02-13 12:01:27 +01:00
Stefan Biereigel	90c78f1f85	add testcase for #1614	2020-02-03 21:29:54 +01:00
David Shah	ebe1d7d5ab	sv: More tests for wildcard port connections ... Signed-off-by: David Shah <dave@ds0.me>	2020-02-02 16:12:33 +00:00
David Shah	7e741714df	hierarchy: Correct handling of wildcard port connections with default values ... Signed-off-by: David Shah <dave@ds0.me>	2020-02-02 16:12:33 +00:00
David Shah	a210675d71	sv: Add tests for wildcard port connections ... Signed-off-by: David Shah <dave@ds0.me>	2020-02-02 16:12:33 +00:00
David Shah	9f5613100b	Merge pull request #1647 from YosysHQ/dave/sprintf ... ast: Add support for $sformatf system function	2020-02-02 14:53:46 +00:00
Eddie Hung	d004953772	Add "help -all" and "help -celltypes" sanity test	2020-01-28 18:11:34 -08:00
Eddie Hung	3d9737c1bd	Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor	2020-01-21 16:27:40 -08:00
Eddie Hung	cd8f55a911	write_xaiger: fix for (* keep *) on flop output	2020-01-21 09:43:04 -08:00
David Shah	22c967e35e	ast: Add support for $sformatf system function ... Signed-off-by: David Shah <dave@ds0.me>	2020-01-19 21:20:17 +00:00
Eddie Hung	6a163b5ddd	xilinx_dsp: another typo; move xilinx specific test	2020-01-17 17:07:03 -08:00
Eddie Hung	00964e999d	autoname: add testcase with $-prefix-ed port	2020-01-14 10:13:03 -08:00
Eddie Hung	fc4b8b8991	Remove submod changes	2019-12-30 14:56:14 -08:00
Eddie Hung	1ea1e8e54f	Merge remote-tracking branch 'origin/master' into xaig_dff	2019-12-20 13:56:13 -08:00
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	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