1630 commits

Author	SHA1	Message	Date
Eddie Hung	0d2c06ee47	write_xaiger: cache arrival times	2020-01-13 09:50:50 -08:00
Marcin Kościelnicki	55f86eda36	edif: Just ignore connections to 'z ... Connecting a const 'z to a net should be equivalent to not connecting it at all, so let's just ignore such connections on output.	2020-01-13 14:49:31 +01:00
Eddie Hung	f9aae90e7a	Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_required	2020-01-12 15:19:41 -08:00
Eddie Hung	295e241c07	cleanup	2020-01-11 17:28:24 -08:00
Eddie Hung	79db12f238	Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor	2020-01-11 17:26:25 -08:00
Eddie Hung	58ab9f6021	write_xaiger: create holes_sigmap before modifications	2020-01-11 17:25:32 -08:00
Eddie Hung	1ccee4b95e	write_xaiger: sort holes by offset as well as port_id	2020-01-11 11:49:57 -08:00
Eddie Hung	f24de88f38	log_debug() for abc9_{arrival,required} times	2020-01-10 17:13:27 -08:00
Miodrag Milanovic	6888799c75	remove whitespace	2020-01-10 12:38:03 +01:00
Miodrag Milanovic	2bcd55f1ae	Export wire properties as well in EDIF	2020-01-10 12:33:58 +01:00
Eddie Hung	ceabd5bc39	write_xaiger: cleanup	2020-01-09 14:03:43 -08:00
Eddie Hung	3177437224	write_xaiger: cope with abc9_arrival as string of ints	2020-01-09 10:05:03 -08:00
Eddie Hung	7532416cd7	write_xaiger: cleanup holes generation	2020-01-08 18:27:09 -08:00
Eddie Hung	5f7349f26d	write_xaiger: holes PIs only if whitebox	2020-01-08 15:40:37 -08:00
Eddie Hung	8d0cc654a4	Stray log_module	2020-01-06 15:14:38 -08:00
Eddie Hung	aa58472a29	Revert "write_xaiger to pad, not abc9_ops -prep_holes" ... This reverts commit b5f60e055d.	2020-01-06 13:34:45 -08:00
Eddie Hung	921ff0f5e3	Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactor	2020-01-06 12:04:08 -08:00
Eddie Hung	886c5c5883	write_xaiger: make more robust, update doc	2020-01-06 10:23:04 -08:00
Eddie Hung	19ec54f956	write_aiger: make more robust	2020-01-06 10:18:59 -08:00
Eddie Hung	b5f60e055d	write_xaiger to pad, not abc9_ops -prep_holes	2020-01-05 10:20:24 -08:00
Eddie Hung	6556a1347a	Fix when -dff not given	2020-01-04 09:17:01 -08:00
Eddie Hung	930f03e883	Call -prep_holes before aigmap; fix topo ordering	2020-01-03 15:38:18 -08:00
Eddie Hung	a819656972	WIP	2020-01-03 14:59:55 -08:00
Eddie Hung	559f3379e8	Preserve topo ordering from -prep_holes to write_xaiger	2020-01-03 14:37:58 -08:00
Eddie Hung	bb70915fb8	WIP	2020-01-03 13:21:56 -08:00
Eddie Hung	e1f494ab1d	WIP	2020-01-03 13:08:52 -08:00
Eddie Hung	e62eb02c1d	Restore write_xaiger's holes_mode since port_id order causes QoR ... regressions inside abc9	2020-01-03 12:32:05 -08:00
Eddie Hung	dedea5a58d	Cleanup	2020-01-02 17:25:14 -08:00
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