5800 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
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
Eddie Hung	c20adc5263	Add test	2019-06-20 16:07:22 -07:00
Eddie Hung	c27ab609fa	Make genvar a signed type	2019-06-20 16:04:12 -07:00
Eddie Hung	3b8f3a93ad	Add CHANGELOG entry	2019-06-20 12:45:40 -07:00
Eddie Hung	d0bbf9e4d4	Extend sign extension tests	2019-06-20 12:43:59 -07:00
Eddie Hung	20119ee50e	Maintain "is_unsized" state of constants	2019-06-20 12:43:39 -07:00
Eddie Hung	e33cbb0dde	Revert "Fix sign extension when sign is 1'bx" ... This reverts commit 0221f3e1c5.	2019-06-20 12:40:05 -07:00
Eddie Hung	0e3e647596	Handle COs driven by 1'bx	2019-06-20 10:47:20 -07:00
Eddie Hung	f54edf1e78	Do not call "setundef -zero" in abc9	2019-06-20 10:22:14 -07:00
Eddie Hung	efdb057c6a	write_xaiger to skip POs driven by 1'bx	2019-06-20 10:21:57 -07:00
Eddie Hung	cdbcd2efbd	Merge remote-tracking branch 'origin/eddie/fix1115' into xc7mux	2019-06-20 10:18:10 -07:00
Eddie Hung	f374e0ab7e	Merge remote-tracking branch 'origin/master' into xc7mux	2019-06-20 10:18:01 -07:00
Eddie Hung	b77322034c	Remove leftover comment	2019-06-20 10:15:04 -07:00