8031 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Eddie Hung	1abe93e48d	Merge remote-tracking branch 'origin/master' into xaig	2019-06-21 17:43:29 -07:00
Eddie Hung	0f300e75c0	Fix CHANGELOG	2019-06-21 17:39:56 -07:00
Eddie Hung	301e065aee	Merge remote-tracking branch 'origin/xaig' into xc7mux	2019-06-21 17:34:19 -07:00
Eddie Hung	f2ead4334a	Reduce log_debug spam in parse_xaiger()	2019-06-21 17:33:49 -07:00
Eddie Hung	e67e78e9ac	Merge remote-tracking branch 'origin/xaig' into xc7mux	2019-06-21 17:21:06 -07:00
Eddie Hung	ad296d77ab	Do not rename non LUT cells in abc9	2019-06-21 17:18:04 -07:00
Eddie Hung	fddb027cab	Replace assert with error message	2019-06-21 17:18:04 -07:00
Eddie Hung	7074ec9cd5	Add log_push()/log_pop() inside write_xaiger	2019-06-21 17:17:29 -07:00
Eddie Hung	588196c473	Add log_push()/log_pop() inside write_xaiger	2019-06-21 17:16:38 -07:00
Eddie Hung	e01bab6c64	Merge pull request #1108 from YosysHQ/clifford/fix1091 ... Add support for partial matches to muxcover	2019-06-21 17:13:41 -07:00
Eddie Hung	faa2d6fc1c	Constrain wreduce only if wide mux	2019-06-21 17:12:34 -07:00
Eddie Hung	aeee9dcad7	Simplify and comment out mux_map.v	2019-06-21 17:06:30 -07:00
Eddie Hung	ed00823b41	synth_xilinx to now wreduce except $mux, remove extra peepopt	2019-06-21 16:56:56 -07:00
Eddie Hung	29aee0989f	mux_map to no longer copy last value into 1'bx	2019-06-21 16:55:59 -07:00
Eddie Hung	8bce3fb329	Fix spacing	2019-06-21 16:55:34 -07:00
Eddie Hung	694d40719f	Fix spacing again, A_forward -> A_backward	2019-06-21 16:47:07 -07:00
Eddie Hung	11886c874c	Restore wreduce to synth_xilinx, after muxcover	2019-06-21 16:18:29 -07:00
Eddie Hung	44fc616fc7	Revert B_SIGNED optimisation, since only works for Y_WIDTH==1	2019-06-21 16:18:14 -07:00
Eddie Hung	4d6fac019a	Fix spacing	2019-06-21 16:06:13 -07:00
Eddie Hung	aa0b107afb	synth_xilinx to use _ABC macro, and perform muxpack again	2019-06-21 15:48:20 -07:00
Eddie Hung	9abde12110	Add $__XILINX_MUXF78 to preserve entire box	2019-06-21 15:47:42 -07:00
Eddie Hung	cf4ac332e1	Do not rename non LUT cells in abc9	2019-06-21 15:46:45 -07:00
Eddie Hung	6a0fb3035e	Replace assert with error message	2019-06-21 15:45:51 -07:00
Eddie Hung	3cf2afc280	Merge remote-tracking branch 'origin/eddie/muxpack' into xc7mux_wip	2019-06-21 14:54:24 -07:00
Eddie Hung	7acbea6b28	Fix alignment	2019-06-21 14:38:30 -07:00
Eddie Hung	523e7ee782	Merge branch 'xc7mux' into xc7mux_wip	2019-06-21 14:37:20 -07:00
Eddie Hung	65c1199acd	One more workaround for gcc-4.8	2019-06-21 14:36:24 -07:00
Eddie Hung	e581a3e6f4	One more workaround for gcc-4.8	2019-06-21 14:35:58 -07:00
Eddie Hung	b75863ca3f	Workaround issues exposed by gcc-4.8	2019-06-21 14:31:09 -07:00
Eddie Hung	bd7ec673dd	No point logging constant bit	2019-06-21 14:31:09 -07:00
Eddie Hung	70c93ea0c4	Move comment	2019-06-21 14:31:09 -07:00
Eddie Hung	1845b762b6	Revert "autotest.sh to cat *.err on error" ... This reverts commit 21fa8972f3.	2019-06-21 14:24:35 -07:00
Eddie Hung	43659e7c6d	Revert "Cat more stuff" ... This reverts commit 638557de3e.	2019-06-21 14:24:34 -07:00
Eddie Hung	848b023ccc	Workaround issues exposed by gcc-4.8	2019-06-21 14:23:39 -07:00
Eddie Hung	8f59afd62d	Revert "Stab in the dark with aig_map from dict -> std::map" ... This reverts commit 70ee10b650.	2019-06-21 13:47:07 -07:00
Eddie Hung	638557de3e	Cat more stuff	2019-06-21 13:28:42 -07:00
Eddie Hung	ea154d5ff4	No point logging constant bit	2019-06-21 12:46:55 -07:00
Eddie Hung	950bb4c242	Move comment	2019-06-21 12:43:20 -07:00
Eddie Hung	70ee10b650	Stab in the dark with aig_map from dict -> std::map	2019-06-21 12:41:47 -07:00
Eddie Hung	545cfbbe0d	Cope with $reduce_or common in case	2019-06-21 12:31:14 -07:00
Eddie Hung	32f637ffdb	Add more tests	2019-06-21 12:31:04 -07:00
Eddie Hung	ae8305ffcc	Fix testcase	2019-06-21 12:13:00 -07:00
Eddie Hung	15535112b7	Fix spacing	2019-06-21 11:52:51 -07:00
Eddie Hung	d89d663c92	Add doc	2019-06-21 11:52:28 -07:00
Eddie Hung	6ec8160981	Add more muxpack tests, with overlapping entries	2019-06-21 11:45:53 -07:00
Eddie Hung	641b86d25f	Fix up ExclusiveDatabase with @cliffordwolf's help	2019-06-21 11:45:31 -07:00
Eddie Hung	63eb5cace9	Merge branch 'master' into eddie/muxpack	2019-06-21 11:17:19 -07:00
Eddie Hung	f433a52374	Add FIXME about need for -mux4	2019-06-21 11:15:23 -07:00
Eddie Hung	c6b4653ebe	Since muxcover uses MUX4s, blast them back to gates here	2019-06-21 11:13:01 -07:00
Eddie Hung	dd22edcd28	Expand synth -coarse without wreduce, move muxcover	2019-06-21 11:12:32 -07:00