Commit Graph

6600 Commits

Author SHA1 Message Date
Eddie Hung 6c2cb51996 Merge remote-tracking branch 'origin/xaig' into xc7mux 2019-06-21 17:44:21 -07:00
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