349 commits

Author	SHA1	Message	Date
Eddie Hung	e22fee6cdd	abc9_ops: ignore (* abc9_flop *) if not '-dff'	2020-02-27 10:17:29 -08:00
Eddie Hung	12d70ca8fb	xilinx: improve specify functionality	2020-02-27 10:17:29 -08:00
Eddie Hung	f9f86fd758	Revert "abc9: fix abc9_arrival for flops" ... This reverts commit f7c0dbecee.	2020-02-14 16:08:04 -08:00
Eddie Hung	f5cc8cfa79	write_xaiger: default value for abc9_init	2020-02-13 12:37:17 -08:00
Eddie Hung	f7c0dbecee	abc9: fix abc9_arrival for flops	2020-02-13 12:34:09 -08:00
Eddie Hung	f2576c096c	Merge branch 'eddie/abc9_refactor' into eddie/abc9_required	2020-01-27 12:29:28 -08:00
Eddie Hung	cd8f55a911	write_xaiger: fix for (* keep *) on flop output	2020-01-21 09:43:04 -08:00
Eddie Hung	38aa248385	Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_required	2020-01-15 11:26:11 -08:00
Eddie Hung	d6da9c0c0f	write_xaiger: skip abc9_flop only if abc_box_seq present	2020-01-15 11:25:20 -08:00
Eddie Hung	485e08e436	abc9_ops: cope with (* abc9_flop *) in place of (* abc9_box_id *)	2020-01-14 16:33:41 -08:00
Eddie Hung	48984a7605	Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_required	2020-01-14 16:32:46 -08:00
Eddie Hung	1c41dc6b95	write_xaiger: do not export flop inputs as POs	2020-01-14 16:17:27 -08:00
Eddie Hung	0e4285ca0d	abc9_ops: generate flop box ids, add abc9_required to FD* cells	2020-01-14 15:05:49 -08:00
Eddie Hung	588a713b54	Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_required	2020-01-14 14:28:07 -08:00
Eddie Hung	4656f202c6	abc9_ops: -reintegrate to not trim box padding anymore	2020-01-14 14:27:29 -08:00
Eddie Hung	aaafd784a5	write_xaiger: skip if no arrival times	2020-01-14 13:05:39 -08:00
Eddie Hung	915e7dde73	Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_required	2020-01-14 12:57:56 -08:00
Eddie Hung	654247abe9	abc9_ops/write_xaiger: update doc	2020-01-14 12:40:36 -08:00
Eddie Hung	468386d67d	abc9_ops: -prep_holes -> -prep_xaiger, move padding to write_xaiger	2020-01-14 12:25:45 -08:00
Eddie Hung	eb7dd7d374	write_xaiger: fix case of PI and CI and (* keep *)	2020-01-13 23:23:21 -08:00
Eddie Hung	2c65e1abac	abc9: break SCC by setting (* keep *) on output wires	2020-01-13 21:45:27 -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	0d2c06ee47	write_xaiger: cache arrival times	2020-01-13 09:50:50 -08: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	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
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