1502 commits

Author	SHA1	Message	Date
Eddie Hung	c28bea0382	Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactor	2020-01-02 15:57:35 -08:00
Eddie Hung	07feedfa73	write_xaiger: get rid of external_bits dict	2020-01-02 15:32:58 -08:00
Eddie Hung	8e507bd807	abc9 -keepff -> -dff; refactor dff operations	2020-01-02 12:36:54 -08:00
Eddie Hung	11577b46fc	Get rid of (* abc9_keep *) in write_xaiger too	2020-01-01 08:38:23 -08:00
Eddie Hung	ac808c5e2a	attributes.count() -> get_bool_attribute()	2020-01-01 08:33:32 -08:00
Eddie Hung	96db05aaef	parse_xaiger to not take box_lookup	2019-12-31 17:06:03 -08:00
Eddie Hung	cac7f5d82e	Do not re-order carry chain ports, just precompute iteration order	2019-12-31 16:12:40 -08:00
Eddie Hung	134e70e8e7	write_xaiger: be more precise with ff_bits, remove ff_aig_map	2019-12-31 10:21:11 -08:00
Eddie Hung	3798fa3bea	Retry getting rid of write_xaiger's holes_mode	2019-12-31 09:59:17 -08:00
Eddie Hung	436c96e2fb	Revert "Get rid of holes_mode" ... This reverts commit 7997e2a90f.	2019-12-30 23:29:14 -08:00
Eddie Hung	7997e2a90f	Get rid of holes_mode	2019-12-30 20:15:09 -08:00
Eddie Hung	b42b64e8ed	Move Pass::call() out of abc9_ops into abc9	2019-12-30 19:23:54 -08:00
Eddie Hung	88334cab89	Cleanup	2019-12-30 18:49:33 -08:00
Eddie Hung	65baefecd3	Rid unnecessary if	2019-12-30 18:26:35 -08:00
Eddie Hung	e2bbe33a88	Get rid of holes_mode	2019-12-30 18:24:29 -08:00
Eddie Hung	b50de28c04	Add abc9_ops -prep_holes	2019-12-30 18:00:49 -08:00
Eddie Hung	0735572934	write_xaiger to use scratchpad for stats; cleanup abc9	2019-12-30 15:35:33 -08:00
Eddie Hung	d1fccd5a2d	Remove unused	2019-12-30 14:35:52 -08:00
Eddie Hung	3cbbae251f	Call "proc" if processes inside whiteboxes	2019-12-30 14:33:05 -08:00
Eddie Hung	405e974fe5	Merge remote-tracking branch 'origin/master' into xaig_dff	2019-12-30 14:31:42 -08:00
Eddie Hung	d7ada66497	Add "synth_xilinx -dff" option, cleanup abc9	2019-12-30 14:13:16 -08:00
Eddie Hung	237415e78c	write_xaiger: inherit port ordering from original module	2019-12-27 16:44:18 -08:00
Eddie Hung	a56d6970f2	Revert "Merge pull request #1598 from YosysHQ/revert-1588-eddie/xaiger_cleanup" ... This reverts commit 92654f73ea, reversing changes made to 3e14ff1667.	2019-12-27 16:05:58 -08:00
Eddie Hung	9e6632c40a	Merge branch 'master' of github.com:YosysHQ/yosys	2019-12-27 15:37:26 -08:00
Eddie Hung	3d4644804e	write_xaiger: simplify c{i,o}_bits	2019-12-27 15:37:17 -08:00
David Shah	df31ade3b3	Revert "write_xaiger: only instantiate each whitebox cell type once"	2019-12-27 23:25:20 +00:00
Eddie Hung	dd503a5f3f	Really fix it!	2019-12-27 15:18:55 -08:00
Eddie Hung	49881b4468	write_xaiger: fix arrival times for non boxes	2019-12-27 11:30:18 -08:00
Eddie Hung	6eadd4390a	write_xaiger to opt instead of just clean whiteboxes	2019-12-23 08:35:53 -08:00
Eddie Hung	a75e08c709	write_xaiger: only instantiate each whitebox cell type once	2019-12-20 13:07:24 -08:00
Eddie Hung	10e82e103f	Revert "Optimise write_xaiger"	2019-12-20 12:05:45 -08:00
Eddie Hung	5f50e4f112	Cleanup xaiger, remove unnecessary complexity with inout	2019-12-17 15:45:26 -08:00
Eddie Hung	e82a9bc642	Do not sigmap	2019-12-17 00:03:03 -08:00
Eddie Hung	2e71130700	Revert "Use sigmap signal" ... This reverts commit 42f990f3a6.	2019-12-17 00:00:07 -08:00
Eddie Hung	42f990f3a6	Use sigmap signal	2019-12-16 16:49:42 -08:00
Eddie Hung	b19fc8839b	Skip $inout transformation if not a PI	2019-12-16 14:39:13 -08:00
Eddie Hung	78c0246d4a	Revert "write_xaiger: use sigmap bits more consistently" ... This reverts commit 6c340112fe.	2019-12-16 14:35:35 -08:00
Eddie Hung	6c340112fe	write_xaiger: use sigmap bits more consistently	2019-12-16 10:21:57 -08:00
Eddie Hung	91467938c4	Stray newline	2019-12-06 17:08:19 -08:00
Eddie Hung	f2ac36de4a	write_xaiger to inst each cell type once, do not call techmap/aigmap	2019-12-06 17:06:10 -08:00
Eddie Hung	1f96de04c9	Fix writing non-whole modules, including inouts and keeps	2019-12-06 16:19:10 -08:00
Eddie Hung	a682a3cf93	write_xaiger to support part-selected modules again	2019-12-05 17:54:43 -08:00
Eddie Hung	c6ee2fb482	Cleanup	2019-12-03 19:21:47 -08:00
Eddie Hung	df52bc80d8	write_xaiger to consume abc9_init attribute for abc9_flops	2019-12-03 18:47:44 -08:00
Eddie Hung	419ca5c207	Revert "Fold loop" ... This reverts commit a30d5e1cc3.	2019-11-27 21:55:56 -08:00
Eddie Hung	449b1d2c6f	Add comment, use sigmap	2019-11-27 13:20:12 -08:00
Eddie Hung	403214f44d	Revert "Fold loop" ... This reverts commit da51492dbc.	2019-11-27 12:35:25 -08:00
Eddie Hung	5e67df38ed	latch -> box	2019-11-26 22:59:05 -08:00
Eddie Hung	a30d5e1cc3	Fold loop	2019-11-26 21:57:50 -08:00
Eddie Hung	68717dd03b	Do not sigmap keep bits inside write_xaiger	2019-11-26 21:57:50 -08:00