riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
5,814 Commits 90 Branches 51 Tags 36 MiB
Commit Graph

5814 Commits

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