5824 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
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	e581a3e6f4	One more workaround for gcc-4.8	2019-06-21 14:35:58 -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	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
Eddie Hung	9edde91c26	Merge remote-tracking branch 'origin/clifford/fix1091' into xc7mux_wip	2019-06-21 10:51:41 -07:00
Eddie Hung	21fa8972f3	autotest.sh to cat *.err on error	2019-06-21 10:40:18 -07:00
Clifford Wolf	ec979475e7	Replace "muxcover -freedecode" with "muxcover -dmux=cost" ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-06-21 19:24:41 +02:00
Clifford Wolf	9286b6f013	Add "muxcover -freedecode" ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-06-21 10:02:10 +02:00
Eddie Hung	531d36336d	Fix spacing	2019-06-20 22:29:40 -07:00
Eddie Hung	6f6a7428f2	Revert Makefile	2019-06-20 22:28:55 -07:00
Eddie Hung	a9ce9193a1	Refactor bit2aig for less lookups	2019-06-20 22:09:13 -07:00
Eddie Hung	eb13663698	Fix gcc invalidation behaviour for write_aiger	2019-06-20 21:56:02 -07:00
Eddie Hung	d2076aa659	Fix gcc error, due to dict invalidation during recursion	2019-06-20 21:55:08 -07:00
Eddie Hung	06bf2ea562	Fix gcc warning of potentially uninitialised	2019-06-20 21:53:27 -07:00
Clifford Wolf	891ea6512e	Improvements in muxcover ... - Slightly under-estimate cost of decoder muxes - Prefer larger muxes at tree root at same cost - Don't double-count input cost for partial muxes - Add debug log output	2019-06-20 19:47:59 -07:00
Eddie Hung	844c42cef8	Missing a clean and opt_expr -mux_bool in test	2019-06-20 19:47:59 -07:00
Eddie Hung	75375a3fbc	Add test	2019-06-20 19:47:59 -07:00
Clifford Wolf	40188457d1	Add support for partial matches to muxcover, fixes #1091 ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-06-20 19:47:59 -07:00
Eddie Hung	b810bf26ab	write_xaiger to flatten 1'bx/1'bz to 1'b0 again	2019-06-20 19:40:17 -07:00
Eddie Hung	242b72d4e1	Fix simple_abc9/generate test with 1'bx at MSB	2019-06-20 19:37:03 -07:00
Eddie Hung	494610911a	Fix different abc9 test	2019-06-20 19:31:22 -07:00
Eddie Hung	c421d48d6d	Fix broken abc9.v test due to inout being 1'bx	2019-06-20 19:27:00 -07:00
Eddie Hung	a0566b03ec	Run simple_abc9 tests	2019-06-20 19:06:51 -07:00
Eddie Hung	7dca8def52	Fix issue with part of PI being 1'bx	2019-06-20 17:29:45 -07:00
Eddie Hung	d1dadfcec8	Call opt_expr -mux_undef to get rid of 1'bx in muxes prior to abc	2019-06-20 16:45:09 -07:00
Eddie Hung	9faab38e8d	mux_map to drop sign bit, and eliminate 'bx-es	2019-06-20 16:45:04 -07:00
Eddie Hung	99ff7b5c8c	Merge remote-tracking branch 'origin/eddie/fix1115' into xc7mux	2019-06-20 16:08:58 -07:00
Eddie Hung	31b0dee7f3	Merge remote-tracking branch 'origin/eddie/fix1118' into xc7mux	2019-06-20 16:08:36 -07:00