323 commits

Author	SHA1	Message	Date
Eddie Hung	d64df21630	xaiger: do not derive cells	2020-05-24 08:17:30 -07:00
Eddie Hung	67fc0c3698	abc9: use (* abc9_keep *) instead of (* abc9_scc *); apply to $_DFF_?_ ... instead of moving them to $__ prefix	2020-05-14 16:44:35 -07:00
Eddie Hung	97a0a04314	abc9_ops/xaiger: further reducing Module::derive() calls by ... ... replacing _all_ (* abc9_box *) instantiations with their derived types	2020-05-14 10:33:57 -07:00
Eddie Hung	e79127fceb	Cleanup; reduce Module::derive() calls	2020-05-14 10:33:57 -07:00
Eddie Hung	e357b40e7a	xaiger: no longer use nonstandard even/odd to designate +ve/-ve polarity	2020-05-14 10:33:56 -07:00
Eddie Hung	722540dbf9	abc9: not enough to techmap_fail on (* init=1 *), hide them using $__	2020-05-14 10:33:56 -07:00
Eddie Hung	63246a5c0e	Revert "Merge pull request #1917 from YosysHQ/eddie/abc9_delay_check" ... This reverts commit 759283fa65, reversing changes made to f41c7ccfff.	2020-05-14 10:33:56 -07:00
Eddie Hung	4c6647a469	xaiger: always sort input/output bits by port id ... redundant for normal design, but necessary for holes	2020-05-14 10:33:56 -07:00
Eddie Hung	ec4bbb1444	abc9: generate $abc9_holes design instead of <name>$holes	2020-05-14 10:33:56 -07:00
Eddie Hung	6f4f795953	aiger/xaiger: use odd for negedge clk, even for posedge ... Since abc9 doesn't like negative mergeability values	2020-05-14 10:33:56 -07:00
Eddie Hung	f975cf39cb	xaiger: update help text	2020-05-14 10:33:56 -07:00
Eddie Hung	90cd49995b	xaiger: do not treat (* init=1'bx *) as 1'b0	2020-05-14 10:33:56 -07:00
Eddie Hung	77f3abcdc3	xaiger: when -dff use (* init *) for initial state	2020-05-14 10:33:56 -07:00
Eddie Hung	95763c8d18	abc9_ops: add 'dff' label for auto handling of (* abc9_flop *) boxes	2020-05-14 10:33:56 -07:00
Eddie Hung	ffa52738fb	xaiger: output $_DFF_[NP]_ with mergeability if -dff option	2020-05-14 10:33:56 -07:00
Eddie Hung	a0afa1787e	aiger: fixes for ports that have start_offset != 0	2020-05-02 10:00:32 -07:00
Eddie Hung	0808318d55	xaiger: add check for $__ABC9_DELAY model	2020-04-13 19:11:23 -07:00
Eddie Hung	956ecd48f7	kernel: big fat patch to use more ID::*, otherwise ID(*)	2020-04-02 09:51:32 -07:00
Eddie Hung	fdafb74eb7	kernel: use more ID::*	2020-04-02 07:14:08 -07:00
Eddie Hung	3be7784d0e	xaiger: remove some unnecessary operations ... ... ... since they can not be triggered by (* keep *) anymore (but could still be triggered by (* abc9_scc *) !?!)	2020-03-06 10:51:47 -08:00
Eddie Hung	91a7a74ac4	abc9: (* keep *) wires to be PO only, not PI as well; fix scc handling	2020-03-06 10:20:30 -08:00
Eddie Hung	6bb3d9f9c0	Make TimingInfo::TimingInfo(SigBit) constructor explicit	2020-02-27 10:17:29 -08:00
Eddie Hung	5ff60d2057	write_xaiger: add comment about arrival times of flop outputs	2020-02-27 10:17:29 -08:00
Eddie Hung	1ef1ca812b	Get rid of (* abc9_{arrival,required} *) entirely	2020-02-27 10:17:29 -08:00
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