1385 commits

Author	SHA1	Message	Date
Eddie Hung	d004953772	Add "help -all" and "help -celltypes" sanity test	2020-01-28 18:11:34 -08:00
Eddie Hung	a855f23f22	Merge remote-tracking branch 'origin/master' into eddie/opt_merge_init	2020-01-28 12:46:18 -08:00
Eddie Hung	7939727d14	Merge pull request #1660 from YosysHQ/eddie/abc9_unpermute_luts ... Unpermute LUT ordering for ice40/ecp5/xilinx	2020-01-28 11:55:51 -08:00
Miodrag Milanovic	94191a93dd	Updated test to use assert-max	2020-01-28 18:26:10 +01:00
Claire Wolf	4ddaa70fd6	Merge pull request #1567 from YosysHQ/eddie/sat_init_warning ... sat: suppress 'Warning: ignoring initial value on non-register: ...' when init[i] = 1'bx	2020-01-28 17:40:28 +01:00
N. Engelhardt	086c133ea5	Merge pull request #1573 from YosysHQ/eddie/xilinx_tristate ... synth_xilinx: error out if tristate without '-iopad'	2020-01-28 17:24:54 +01:00
Eddie Hung	cfb0366a18	Import tests from #1628	2020-01-27 13:56:16 -08:00
Eddie Hung	48f3f5213e	Merge pull request #1619 from YosysHQ/eddie/abc9_refactor ... Refactor `abc9` pass	2020-01-27 13:29:15 -08:00
Eddie Hung	af8281d2f5	Merge pull request #1656 from YosysHQ/eddie/ice40_abc9_warnings ... ice40: reduce ABC9 internal fanout warnings with a param for CI->I3	2020-01-27 09:54:04 -08:00
Eddie Hung	b178761551	ice40: reduce ABC9 internal fanout warnings with a param for CI->I3	2020-01-24 11:59:48 -08:00
Eddie Hung	2d795fb8c0	simple_abc9 tests to discard whitebox before write for sim	2020-01-23 22:07:43 -08:00
Eddie Hung	dca1c806ec	simple_abc9 tests to discard whitebox before write for sim	2020-01-23 19:55:11 -08:00
Eddie Hung	e471b330ac	abc_box_id -> abc9_box_id in test	2020-01-23 19:12:19 -08:00
Eddie Hung	11e50c0e9e	Test for (* keep *)-ed abc9_box_id	2020-01-23 18:56:25 -08:00
Eddie Hung	48aec34e0d	abc_box_id -> abc9_box_id in test	2020-01-23 18:53:14 -08:00
Eddie Hung	5aaa19f1ab	Update tests with reduced area	2020-01-21 16:50:04 -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	8d1b736c4f	Move from +/shiftx2mux.v into +/techmap.v; cleanup	2020-01-21 15:19:41 -08:00
Eddie Hung	7977574995	New techmap +/shiftx2mux.v which decomposes LSB first; better for ABC	2020-01-21 15:19:41 -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	db68e4c2a7	ice40_dsp: fix typo	2020-01-17 16:08:04 -08:00
Eddie Hung	5507c328ff	Add #1644 testcase	2020-01-17 15:57:52 -08:00
Eddie Hung	ad6c49fff1	ice40_dsp: add test	2020-01-17 15:38:26 -08:00
Jeff Wang	8ef5c7d48c	scoped enum tests	2020-01-16 18:13:30 -05:00
Jeff Wang	caf35896da	enum in package test	2020-01-16 18:09:03 -05:00
Jeff Wang	febe7706a2	simple enum test	2020-01-16 18:09:03 -05:00
Eddie Hung	2245afa142	More rigorous test	2020-01-16 09:15:42 -08:00
Eddie Hung	03ce2c72bb	Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor	2020-01-15 16:42:16 -08:00
Eddie Hung	5918ede9bd	abc9: aAdd test to check $_NOT_s are absorbed	2020-01-15 14:36:05 -08:00
Eddie Hung	e30b6bbbf8	clk2fflogic: work for bit-level $_DFF_* and $_DFFSR_*	2020-01-15 09:51:31 -08:00
Eddie Hung	53a99ade9c	Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor	2020-01-14 11:46:56 -08:00
Eddie Hung	61ffd2d199	Merge pull request #1633 from YosysHQ/eddie/fix_autoname ... autoname: do not rename ports	2020-01-14 11:40:54 -08:00
Eddie Hung	9fa0e03cc9	Merge pull request #1632 from YosysHQ/eddie/fix1630 ... read_aiger: uniquify wires with $aiger<autoidx> prefix	2020-01-14 11:40:40 -08:00
Miodrag Milanović	9fbeb57bbd	Merge pull request #1623 from YosysHQ/mmicko/edif_attr ... Export wire properties in EDIF	2020-01-14 19:19:32 +01:00
Eddie Hung	00964e999d	autoname: add testcase with $-prefix-ed port	2020-01-14 10:13:03 -08:00
Eddie Hung	565d349dc9	Add #1630 testcase	2020-01-13 21:27:53 -08:00
Eddie Hung	a6d4ea7463	abc9: respect (* keep *) on cells	2020-01-13 19:21:11 -08:00
Eddie Hung	9ec948f396	write_xaiger: add support and test for (* keep *) on wires	2020-01-13 19:07:55 -08:00
Eddie Hung	ca2f3db53f	Merge pull request #1620 from YosysHQ/eddie/abc9_scratchpad ... abc9: add some scripts/options into "scratchpad"	2020-01-13 09:04:20 -08:00
Eddie Hung	ae619ba87a	Add #1626 testcase	2020-01-12 15:21:26 -08:00
Eddie Hung	c063436eea	Merge remote-tracking branch 'origin/master' into eddie/abc9_scratchpad	2020-01-11 17:02:20 -08:00
Miodrag Milanovic	ccfe1e5909	this one is fine	2020-01-10 15:20:50 +01:00
Miodrag Milanovic	af852a0ea8	Fix tests	2020-01-10 14:48:01 +01:00
Eddie Hung	a10016ccc5	Add abc9 sanity test	2020-01-09 18:17:06 -08:00
Eddie Hung	94ab3791ce	Merge remote-tracking branch 'origin/master' into eddie/abc9_mfs	2020-01-07 15:44:18 -08:00
Eddie Hung	0d3f10d3cc	Add testcases	2020-01-07 11:44:20 -08:00
Eddie Hung	7c878bf397	tests/aiger: write Yosys output	2020-01-07 11:44:03 -08:00
Eddie Hung	3df869cc7c	Add testcase from #1459	2020-01-06 16:22:22 -08:00