3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-24 17:45:33 +00:00
Commit graph

6348 commits

Author SHA1 Message Date
Eddie Hung
9edde91c26 Merge remote-tracking branch 'origin/clifford/fix1091' into xc7mux_wip 2019-06-21 10:51:41 -07:00
Miodrag Milanovic
50e7221077 Add upto and offset to JSON ports 2019-06-21 19:47:25 +02:00
Eddie Hung
21fa8972f3 autotest.sh to cat *.err on error 2019-06-21 10:40:18 -07:00
Clifford Wolf
e664814971
Merge pull request #1123 from mmicko/fix_typo
Fix json frontend loading upto
2019-06-21 19:25:35 +02: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
Miodrag Milanovic
3775763f51 Fix typo 2019-06-21 19:09:34 +02:00
Eddie Hung
6d74cf0d2b
Merge pull request #1085 from YosysHQ/eddie/shregmap_improve
Improve shregmap to handle case where first flop is common to two chains
2019-06-21 08:56:56 -07:00
Clifford Wolf
918460ddd3
Merge pull request #1122 from YosysHQ/clifford/jsonports
Added JSON upto and offset
2019-06-21 16:58:12 +02:00
Clifford Wolf
f15def325c Added JSON upto and offset
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2019-06-21 15:22:17 +02:00
Clifford Wolf
f0955452ae
Merge pull request #1121 from YosysHQ/ecp5-ccu2c-inv
ecp5: Improve mapping of $alu when BI is used
2019-06-21 15:07:39 +02:00
David Shah
a0d3d2bb41 ecp5: Improve mapping of $alu when BI is used
Signed-off-by: David Shah <dave@ds0.me>
2019-06-21 09:45:11 +01:00
Clifford Wolf
c9949dba99
Merge pull request #1117 from bwidawsk/more-home
Add a few more filename rewrites
2019-06-21 10:13:51 +02:00
Clifford Wolf
78e7a6f6f2
Merge pull request #1119 from YosysHQ/eddie/fix1118
Make genvar a signed type
2019-06-21 10:13:13 +02:00
Clifford Wolf
86a753cc18
Merge pull request #1116 from YosysHQ/eddie/fix1115
Sign extend unsized 'bx and 'bz values
2019-06-21 10:12:32 +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
6a336ca23e Fix spacing 2019-06-20 22:30:20 -07:00
Eddie Hung
cbbd96aae9 Revert Makefile 2019-06-20 22:30:20 -07: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
e21f01d938 Refactor bit2aig for less lookups 2019-06-20 22:10:43 -07:00
Eddie Hung
4422b7311b Fix gcc invalidation behaviour for write_aiger 2019-06-20 22:10:43 -07:00
Eddie Hung
32f8014e12 Fix gcc error, due to dict invalidation during recursion 2019-06-20 22:10:43 -07:00
Eddie Hung
54f3237720 Fix gcc warning of potentially uninitialised 2019-06-20 22:10:43 -07:00
Eddie Hung
a9ce9193a1 Refactor bit2aig for less lookups 2019-06-20 22:09:13 -07:00
Eddie Hung
c4ea6fff65 Fix gcc invalidation behaviour for write_aiger 2019-06-20 21:56:47 -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
8e56cfb6bb write_xaiger to flatten 1'bx/1'bz to 1'b0 again 2019-06-20 19:41:27 -07:00
Eddie Hung
0e97e6a00d Fix simple_abc9/generate test with 1'bx at MSB 2019-06-20 19:41:27 -07:00
Eddie Hung
ad36eb24c0 Fix different abc9 test 2019-06-20 19:41:27 -07:00
Eddie Hung
9faeba7a66 Fix broken abc9.v test due to inout being 1'bx 2019-06-20 19:41:27 -07:00
Eddie Hung
eb09ea6d54 Run simple_abc9 tests 2019-06-20 19:41:27 -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
e612dade12 Merge remote-tracking branch 'origin/master' into xaig 2019-06-20 19:00:36 -07:00
Eddie Hung
014606affe Fix issue with part of PI being 1'bx 2019-06-20 17:38:16 -07:00
Eddie Hung
f11c9a419b Call opt_expr -mux_undef to get rid of 1'bx in muxes prior to abc 2019-06-20 17:38:16 -07:00
Eddie Hung
4e5836a5fb Handle COs driven by 1'bx 2019-06-20 17:38:04 -07:00
Eddie Hung
3f34779d64 Do not call "setundef -zero" in abc9 2019-06-20 17:38:04 -07:00
Eddie Hung
f2d541962e write_xaiger to skip POs driven by 1'bx 2019-06-20 17:37:54 -07:00
Eddie Hung
7dca8def52 Fix issue with part of PI being 1'bx 2019-06-20 17:29:45 -07:00
Eddie Hung
e63324f5ef Actually, there might not be any harm in updating sigmap... 2019-06-20 17:03:05 -07:00