8924 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Eddie Hung	f7793a2956	Missing character	2019-12-31 18:42:11 -08:00
Eddie Hung	713484fa66	Do not do call equiv_opt when no sim model exists	2019-12-31 18:40:30 -08:00
Eddie Hung	a59016b146	Fix warnings	2019-12-31 18:40:11 -08:00
Eddie Hung	c082329af3	Call equiv_opt with -multiclock and -assert	2019-12-31 18:39:32 -08:00
Eddie Hung	35c659be74	Cleanup xilinx boxes	2019-12-31 18:29:44 -08:00
Eddie Hung	2358320f51	Cleanup ice40 boxes	2019-12-31 18:29:37 -08:00
Eddie Hung	b2046a2114	Cleanup ecp5 boxes	2019-12-31 18:29:29 -08:00
Eddie Hung	96db05aaef	parse_xaiger to not take box_lookup	2019-12-31 17:06:03 -08:00
Eddie Hung	e5ed8e8e21	parse_xaiger to reorder ports too	2019-12-31 16:50:22 -08:00
Eddie Hung	ccc0a740d2	Add some abc9 dff tests	2019-12-31 16:16:05 -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	6b825c719b	Update abc9_xc7.box comments	2019-12-31 15:25:46 -08:00
Eddie Hung	4cdba00e25	FDCE ports to be alphabetical	2019-12-31 15:24:02 -08:00
Eddie Hung	b4663a987b	Fix attributes on $__ABC9_ASYNC[01] whitebox	2019-12-31 11:14:11 -08:00
Eddie Hung	789211d9b3	Fix incorrect $__ABC9_ASYNC[01] box	2019-12-31 11:13:50 -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	d597e3e979	Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactor	2019-12-30 23:10:08 -08:00
Eddie Hung	dacdc6cc94	Remove abc9 -clk option	2019-12-30 22:59:14 -08:00
Eddie Hung	f1bf44ae8f	abc9_ops -prep_dff cope with lack of holes module	2019-12-30 22:58:39 -08:00
Eddie Hung	a367f703ea	Rename struct	2019-12-30 22:56:19 -08:00
Eddie Hung	7997e2a90f	Get rid of holes_mode	2019-12-30 20:15:09 -08:00
Eddie Hung	fad99c2ec7	Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactor	2019-12-30 20:14:24 -08:00
Eddie Hung	0c4be94a02	Add -D DFF_MODE to abc9_map test	2019-12-30 20:13:25 -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	52f649dcfd	Use function arg	2019-12-30 18:47:06 -08:00
Eddie Hung	0317a2b476	holes_module to be whitebox	2019-12-30 18:46:22 -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
Niklas Nisbeth	379dcda139	ice40: Demote conflicting FF init values to a warning	2019-12-31 02:38:10 +01:00
Eddie Hung	16c4ec7eda	Add abc9_ops -prep_dff	2019-12-30 16:36:33 -08:00
Eddie Hung	88b9c8d46d	Restore count_outputs, move process check to abc	2019-12-30 16:29:08 -08:00
Eddie Hung	dbffbeef5c	Fix struct name	2019-12-30 16:21:20 -08:00
Eddie Hung	7649ec72c9	Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactor	2019-12-30 16:20:58 -08:00
Eddie Hung	4c3f517425	Remove delay targets doc	2019-12-30 16:11:42 -08:00
Eddie Hung	658f424d7d	Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor	2019-12-30 16:01:38 -08:00
Eddie Hung	0735572934	write_xaiger to use scratchpad for stats; cleanup abc9	2019-12-30 15:35:33 -08:00
Eddie Hung	22fe931c86	Grammar	2019-12-30 15:07:15 -08:00
Eddie Hung	fc4b8b8991	Remove submod changes	2019-12-30 14:56:14 -08:00
Eddie Hung	543bd2de6c	Update timings for Xilinx S7 cells	2019-12-30 14:36:07 -08:00
Eddie Hung	d1fccd5a2d	Remove unused	2019-12-30 14:35:52 -08:00
Eddie Hung	eb4e767053	Do not offset FD* box timings due to -46ps Tsu	2019-12-30 14:35:10 -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	ece423415c	Add CHANGELOG entry, add abc9_{flop,keep} attr to README.md	2019-12-30 14:24:58 -08:00
Eddie Hung	a038294a87	Tidy up abc9_map.v	2019-12-30 14:19:29 -08:00
Eddie Hung	d7ada66497	Add "synth_xilinx -dff" option, cleanup abc9	2019-12-30 14:13:16 -08:00