riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
5,820 Commits 81 Branches 48 Tags 63 MiB
Commit Graph

5820 Commits

Author SHA1 Message Date
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
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