yosys.git
5 years agoChange synth_xilinx's -nomux to -minmuxf <int>
Eddie Hung [Mon, 24 Jun 2019 17:04:01 +0000 (10:04 -0700)]
Change synth_xilinx's -nomux to -minmuxf <int>

5 years agoMerge remote-tracking branch 'origin/xaig' into xc7mux
Eddie Hung [Sun, 23 Jun 2019 02:44:17 +0000 (19:44 -0700)]
Merge remote-tracking branch 'origin/xaig' into xc7mux

5 years agoAdd comments to ecp5 box
Eddie Hung [Sat, 22 Jun 2019 21:33:47 +0000 (14:33 -0700)]
Add comments to ecp5 box

5 years agoAdd comment to xc7 box
Eddie Hung [Sat, 22 Jun 2019 21:28:24 +0000 (14:28 -0700)]
Add comment to xc7 box

5 years agoFix and cleanup ice40 boxes for carry in/out
Eddie Hung [Sat, 22 Jun 2019 21:27:41 +0000 (14:27 -0700)]
Fix and cleanup ice40 boxes for carry in/out

5 years agoCarry in/out box ordering now move to end, not swap with end
Eddie Hung [Sat, 22 Jun 2019 21:18:42 +0000 (14:18 -0700)]
Carry in/out box ordering now move to end, not swap with end

5 years agoRemove DFF and RAMD box info for now
Eddie Hung [Sat, 22 Jun 2019 03:41:14 +0000 (20:41 -0700)]
Remove DFF and RAMD box info for now

5 years agoMerge branch 'master' into xaig
Eddie Hung [Sat, 22 Jun 2019 03:31:56 +0000 (20:31 -0700)]
Merge branch 'master' into xaig

5 years agoAdd 'muxcover -dmux=<cost>' and '-nopartial' to CHANGELOG
Eddie Hung [Sat, 22 Jun 2019 03:30:24 +0000 (20:30 -0700)]
Add 'muxcover -dmux=<cost>' and '-nopartial' to CHANGELOG

5 years agoRemove $_MUX4_ techmap rule
Eddie Hung [Sat, 22 Jun 2019 01:12:33 +0000 (18:12 -0700)]
Remove $_MUX4_ techmap rule

5 years agoFix wreduce call (!!!), tweak muxcover costs
Eddie Hung [Sat, 22 Jun 2019 01:12:07 +0000 (18:12 -0700)]
Fix wreduce call (!!!), tweak muxcover costs

5 years agoMerge remote-tracking branch 'origin/xaig' into xc7mux
Eddie Hung [Sat, 22 Jun 2019 00:44:21 +0000 (17:44 -0700)]
Merge remote-tracking branch 'origin/xaig' into xc7mux

5 years agoMerge remote-tracking branch 'origin/master' into xaig
Eddie Hung [Sat, 22 Jun 2019 00:43:29 +0000 (17:43 -0700)]
Merge remote-tracking branch 'origin/master' into xaig

5 years agoFix CHANGELOG
Eddie Hung [Sat, 22 Jun 2019 00:39:56 +0000 (17:39 -0700)]
Fix CHANGELOG

5 years agoMerge remote-tracking branch 'origin/xaig' into xc7mux
Eddie Hung [Sat, 22 Jun 2019 00:34:19 +0000 (17:34 -0700)]
Merge remote-tracking branch 'origin/xaig' into xc7mux

5 years agoReduce log_debug spam in parse_xaiger()
Eddie Hung [Sat, 22 Jun 2019 00:33:49 +0000 (17:33 -0700)]
Reduce log_debug spam in parse_xaiger()

5 years agoMerge remote-tracking branch 'origin/xaig' into xc7mux
Eddie Hung [Sat, 22 Jun 2019 00:21:06 +0000 (17:21 -0700)]
Merge remote-tracking branch 'origin/xaig' into xc7mux

5 years agoDo not rename non LUT cells in abc9
Eddie Hung [Fri, 21 Jun 2019 22:46:45 +0000 (15:46 -0700)]
Do not rename non LUT cells in abc9

5 years agoReplace assert with error message
Eddie Hung [Fri, 21 Jun 2019 22:45:51 +0000 (15:45 -0700)]
Replace assert with error message

5 years agoAdd log_push()/log_pop() inside write_xaiger
Eddie Hung [Sat, 22 Jun 2019 00:16:38 +0000 (17:16 -0700)]
Add log_push()/log_pop() inside write_xaiger

5 years agoAdd log_push()/log_pop() inside write_xaiger
Eddie Hung [Sat, 22 Jun 2019 00:16:38 +0000 (17:16 -0700)]
Add log_push()/log_pop() inside write_xaiger

5 years agoMerge pull request #1108 from YosysHQ/clifford/fix1091
Eddie Hung [Sat, 22 Jun 2019 00:13:41 +0000 (17:13 -0700)]
Merge pull request #1108 from YosysHQ/clifford/fix1091

Add support for partial matches to muxcover

5 years agoConstrain wreduce only if wide mux
Eddie Hung [Sat, 22 Jun 2019 00:12:34 +0000 (17:12 -0700)]
Constrain wreduce only if wide mux

5 years agoSimplify and comment out mux_map.v
Eddie Hung [Sat, 22 Jun 2019 00:06:30 +0000 (17:06 -0700)]
Simplify and comment out mux_map.v

5 years agosynth_xilinx to now wreduce except $mux, remove extra peepopt
Eddie Hung [Fri, 21 Jun 2019 23:56:56 +0000 (16:56 -0700)]
synth_xilinx to now wreduce except $mux, remove extra peepopt

5 years agomux_map to no longer copy last value into 1'bx
Eddie Hung [Fri, 21 Jun 2019 23:55:59 +0000 (16:55 -0700)]
mux_map to no longer copy last value into 1'bx

5 years agoFix spacing
Eddie Hung [Fri, 21 Jun 2019 23:55:34 +0000 (16:55 -0700)]
Fix spacing

5 years agoFix spacing again, A_forward -> A_backward
Eddie Hung [Fri, 21 Jun 2019 23:47:07 +0000 (16:47 -0700)]
Fix spacing again, A_forward -> A_backward

5 years agoRestore wreduce to synth_xilinx, after muxcover
Eddie Hung [Fri, 21 Jun 2019 23:18:29 +0000 (16:18 -0700)]
Restore wreduce to synth_xilinx, after muxcover

5 years agoRevert B_SIGNED optimisation, since only works for Y_WIDTH==1
Eddie Hung [Fri, 21 Jun 2019 23:18:14 +0000 (16:18 -0700)]
Revert B_SIGNED optimisation, since only works for Y_WIDTH==1

5 years agoFix spacing
Eddie Hung [Fri, 21 Jun 2019 23:06:13 +0000 (16:06 -0700)]
Fix spacing

5 years agosynth_xilinx to use _ABC macro, and perform muxpack again
Eddie Hung [Fri, 21 Jun 2019 22:48:20 +0000 (15:48 -0700)]
synth_xilinx to use _ABC macro, and perform muxpack again

5 years agoAdd $__XILINX_MUXF78 to preserve entire box
Eddie Hung [Fri, 21 Jun 2019 22:47:42 +0000 (15:47 -0700)]
Add $__XILINX_MUXF78 to preserve entire box

5 years agoDo not rename non LUT cells in abc9
Eddie Hung [Fri, 21 Jun 2019 22:46:45 +0000 (15:46 -0700)]
Do not rename non LUT cells in abc9

5 years agoReplace assert with error message
Eddie Hung [Fri, 21 Jun 2019 22:45:51 +0000 (15:45 -0700)]
Replace assert with error message

5 years agoMerge remote-tracking branch 'origin/eddie/muxpack' into xc7mux_wip
Eddie Hung [Fri, 21 Jun 2019 21:54:24 +0000 (14:54 -0700)]
Merge remote-tracking branch 'origin/eddie/muxpack' into xc7mux_wip

5 years agoFix alignment
Eddie Hung [Fri, 21 Jun 2019 21:38:30 +0000 (14:38 -0700)]
Fix alignment

5 years agoMerge branch 'xc7mux' into xc7mux_wip
Eddie Hung [Fri, 21 Jun 2019 21:37:20 +0000 (14:37 -0700)]
Merge branch 'xc7mux' into xc7mux_wip

5 years agoOne more workaround for gcc-4.8
Eddie Hung [Fri, 21 Jun 2019 21:35:58 +0000 (14:35 -0700)]
One more workaround for gcc-4.8

5 years agoOne more workaround for gcc-4.8
Eddie Hung [Fri, 21 Jun 2019 21:35:58 +0000 (14:35 -0700)]
One more workaround for gcc-4.8

5 years agoWorkaround issues exposed by gcc-4.8
Eddie Hung [Fri, 21 Jun 2019 21:23:39 +0000 (14:23 -0700)]
Workaround issues exposed by gcc-4.8

5 years agoNo point logging constant bit
Eddie Hung [Fri, 21 Jun 2019 19:46:55 +0000 (12:46 -0700)]
No point logging constant bit

5 years agoMove comment
Eddie Hung [Fri, 21 Jun 2019 19:43:20 +0000 (12:43 -0700)]
Move comment

5 years agoRevert "autotest.sh to cat *.err on error"
Eddie Hung [Fri, 21 Jun 2019 21:24:35 +0000 (14:24 -0700)]
Revert "autotest.sh to cat *.err on error"

This reverts commit 21fa8972f3d04f717d0d4afbfa252e842c807619.

5 years agoRevert "Cat more stuff"
Eddie Hung [Fri, 21 Jun 2019 21:24:34 +0000 (14:24 -0700)]
Revert "Cat more stuff"

This reverts commit 638557de3ec600ebe240e2f25e337028ce453ba2.

5 years agoWorkaround issues exposed by gcc-4.8
Eddie Hung [Fri, 21 Jun 2019 21:23:39 +0000 (14:23 -0700)]
Workaround issues exposed by gcc-4.8

5 years agoRevert "Stab in the dark with aig_map from dict -> std::map"
Eddie Hung [Fri, 21 Jun 2019 20:47:07 +0000 (13:47 -0700)]
Revert "Stab in the dark with aig_map from dict -> std::map"

This reverts commit 70ee10b650e01b7b262baa5c6fda934fb860dfce.

5 years agoCat more stuff
Eddie Hung [Fri, 21 Jun 2019 20:28:42 +0000 (13:28 -0700)]
Cat more stuff

5 years agoNo point logging constant bit
Eddie Hung [Fri, 21 Jun 2019 19:46:55 +0000 (12:46 -0700)]
No point logging constant bit

5 years agoMove comment
Eddie Hung [Fri, 21 Jun 2019 19:43:20 +0000 (12:43 -0700)]
Move comment

5 years agoStab in the dark with aig_map from dict -> std::map
Eddie Hung [Fri, 21 Jun 2019 19:41:47 +0000 (12:41 -0700)]
Stab in the dark with aig_map from dict -> std::map

5 years agoAdd FIXME about need for -mux4
Eddie Hung [Fri, 21 Jun 2019 18:15:23 +0000 (11:15 -0700)]
Add FIXME about need for -mux4

5 years agoSince muxcover uses MUX4s, blast them back to gates here
Eddie Hung [Fri, 21 Jun 2019 18:13:01 +0000 (11:13 -0700)]
Since muxcover uses MUX4s, blast them back to gates here

5 years agoExpand synth -coarse without wreduce, move muxcover
Eddie Hung [Fri, 21 Jun 2019 18:12:32 +0000 (11:12 -0700)]
Expand synth -coarse without wreduce, move muxcover

5 years agoMerge remote-tracking branch 'origin/clifford/fix1091' into xc7mux_wip
Eddie Hung [Fri, 21 Jun 2019 17:51:41 +0000 (10:51 -0700)]
Merge remote-tracking branch 'origin/clifford/fix1091' into xc7mux_wip

5 years agoautotest.sh to cat *.err on error
Eddie Hung [Fri, 21 Jun 2019 17:40:18 +0000 (10:40 -0700)]
autotest.sh to cat *.err on error

5 years agoMerge pull request #1123 from mmicko/fix_typo
Clifford Wolf [Fri, 21 Jun 2019 17:25:35 +0000 (19:25 +0200)]
Merge pull request #1123 from mmicko/fix_typo

Fix json frontend loading upto

5 years agoReplace "muxcover -freedecode" with "muxcover -dmux=cost"
Clifford Wolf [Fri, 21 Jun 2019 17:24:41 +0000 (19:24 +0200)]
Replace "muxcover -freedecode" with "muxcover -dmux=cost"

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoFix typo
Miodrag Milanovic [Fri, 21 Jun 2019 17:09:34 +0000 (19:09 +0200)]
Fix typo

5 years agoMerge pull request #1085 from YosysHQ/eddie/shregmap_improve
Eddie Hung [Fri, 21 Jun 2019 15:56:56 +0000 (08:56 -0700)]
Merge pull request #1085 from YosysHQ/eddie/shregmap_improve

Improve shregmap to handle case where first flop is common to two chains

5 years agoMerge pull request #1122 from YosysHQ/clifford/jsonports
Clifford Wolf [Fri, 21 Jun 2019 14:58:12 +0000 (16:58 +0200)]
Merge pull request #1122 from YosysHQ/clifford/jsonports

Added JSON upto and offset

5 years agoAdded JSON upto and offset
Clifford Wolf [Fri, 21 Jun 2019 13:22:17 +0000 (15:22 +0200)]
Added JSON upto and offset

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoMerge pull request #1121 from YosysHQ/ecp5-ccu2c-inv
Clifford Wolf [Fri, 21 Jun 2019 13:07:39 +0000 (15:07 +0200)]
Merge pull request #1121 from YosysHQ/ecp5-ccu2c-inv

ecp5: Improve mapping of $alu when BI is used

5 years agoecp5: Improve mapping of $alu when BI is used
David Shah [Fri, 21 Jun 2019 08:44:13 +0000 (09:44 +0100)]
ecp5: Improve mapping of $alu when BI is used

Signed-off-by: David Shah <dave@ds0.me>
5 years agoMerge pull request #1117 from bwidawsk/more-home
Clifford Wolf [Fri, 21 Jun 2019 08:13:51 +0000 (10:13 +0200)]
Merge pull request #1117 from bwidawsk/more-home

Add a few more filename rewrites

5 years agoMerge pull request #1119 from YosysHQ/eddie/fix1118
Clifford Wolf [Fri, 21 Jun 2019 08:13:13 +0000 (10:13 +0200)]
Merge pull request #1119 from YosysHQ/eddie/fix1118

Make genvar a signed type

5 years agoMerge pull request #1116 from YosysHQ/eddie/fix1115
Clifford Wolf [Fri, 21 Jun 2019 08:12:32 +0000 (10:12 +0200)]
Merge pull request #1116 from YosysHQ/eddie/fix1115

Sign extend unsized 'bx and 'bz values

5 years agoAdd "muxcover -freedecode"
Clifford Wolf [Fri, 21 Jun 2019 08:02:10 +0000 (10:02 +0200)]
Add "muxcover -freedecode"

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoFix spacing
Eddie Hung [Fri, 21 Jun 2019 05:29:40 +0000 (22:29 -0700)]
Fix spacing

5 years agoRevert Makefile
Eddie Hung [Fri, 21 Jun 2019 05:28:55 +0000 (22:28 -0700)]
Revert Makefile

5 years agoFix spacing
Eddie Hung [Fri, 21 Jun 2019 05:29:40 +0000 (22:29 -0700)]
Fix spacing

5 years agoRevert Makefile
Eddie Hung [Fri, 21 Jun 2019 05:28:55 +0000 (22:28 -0700)]
Revert Makefile

5 years agoRefactor bit2aig for less lookups
Eddie Hung [Fri, 21 Jun 2019 05:09:13 +0000 (22:09 -0700)]
Refactor bit2aig for less lookups

5 years agoFix gcc invalidation behaviour for write_aiger
Eddie Hung [Fri, 21 Jun 2019 04:56:02 +0000 (21:56 -0700)]
Fix gcc invalidation behaviour for write_aiger

5 years agoFix gcc error, due to dict invalidation during recursion
Eddie Hung [Fri, 21 Jun 2019 04:55:08 +0000 (21:55 -0700)]
Fix gcc error, due to dict invalidation during recursion

5 years agoFix gcc warning of potentially uninitialised
Eddie Hung [Fri, 21 Jun 2019 04:53:27 +0000 (21:53 -0700)]
Fix gcc warning of potentially uninitialised

5 years agoRefactor bit2aig for less lookups
Eddie Hung [Fri, 21 Jun 2019 05:09:13 +0000 (22:09 -0700)]
Refactor bit2aig for less lookups

5 years agoFix gcc invalidation behaviour for write_aiger
Eddie Hung [Fri, 21 Jun 2019 04:56:02 +0000 (21:56 -0700)]
Fix gcc invalidation behaviour for write_aiger

5 years agoFix gcc invalidation behaviour for write_aiger
Eddie Hung [Fri, 21 Jun 2019 04:56:02 +0000 (21:56 -0700)]
Fix gcc invalidation behaviour for write_aiger

5 years agoFix gcc error, due to dict invalidation during recursion
Eddie Hung [Fri, 21 Jun 2019 04:55:08 +0000 (21:55 -0700)]
Fix gcc error, due to dict invalidation during recursion

5 years agoFix gcc warning of potentially uninitialised
Eddie Hung [Fri, 21 Jun 2019 04:53:27 +0000 (21:53 -0700)]
Fix gcc warning of potentially uninitialised

5 years agoImprovements in muxcover
Clifford Wolf [Thu, 20 Jun 2019 09:30:27 +0000 (11:30 +0200)]
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

5 years agoMissing a `clean` and `opt_expr -mux_bool` in test
Eddie Hung [Wed, 19 Jun 2019 17:15:41 +0000 (10:15 -0700)]
Missing a `clean` and `opt_expr -mux_bool` in test

5 years agoAdd test
Eddie Hung [Wed, 19 Jun 2019 17:07:34 +0000 (10:07 -0700)]
Add test

5 years agoAdd support for partial matches to muxcover, fixes #1091
Clifford Wolf [Wed, 19 Jun 2019 11:15:54 +0000 (13:15 +0200)]
Add support for partial matches to muxcover, fixes #1091

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agowrite_xaiger to flatten 1'bx/1'bz to 1'b0 again
Eddie Hung [Fri, 21 Jun 2019 02:40:17 +0000 (19:40 -0700)]
write_xaiger to flatten 1'bx/1'bz to 1'b0 again

5 years agoFix simple_abc9/generate test with 1'bx at MSB
Eddie Hung [Fri, 21 Jun 2019 02:37:03 +0000 (19:37 -0700)]
Fix simple_abc9/generate test with 1'bx at MSB

5 years agoFix different abc9 test
Eddie Hung [Fri, 21 Jun 2019 02:31:22 +0000 (19:31 -0700)]
Fix different abc9 test

5 years agoFix broken abc9.v test due to inout being 1'bx
Eddie Hung [Fri, 21 Jun 2019 02:27:00 +0000 (19:27 -0700)]
Fix broken abc9.v test due to inout being 1'bx

5 years agoRun simple_abc9 tests
Eddie Hung [Fri, 21 Jun 2019 02:06:51 +0000 (19:06 -0700)]
Run simple_abc9 tests

5 years agowrite_xaiger to flatten 1'bx/1'bz to 1'b0 again
Eddie Hung [Fri, 21 Jun 2019 02:40:17 +0000 (19:40 -0700)]
write_xaiger to flatten 1'bx/1'bz to 1'b0 again

5 years agoFix simple_abc9/generate test with 1'bx at MSB
Eddie Hung [Fri, 21 Jun 2019 02:37:03 +0000 (19:37 -0700)]
Fix simple_abc9/generate test with 1'bx at MSB

5 years agoFix different abc9 test
Eddie Hung [Fri, 21 Jun 2019 02:31:22 +0000 (19:31 -0700)]
Fix different abc9 test

5 years agoFix broken abc9.v test due to inout being 1'bx
Eddie Hung [Fri, 21 Jun 2019 02:27:00 +0000 (19:27 -0700)]
Fix broken abc9.v test due to inout being 1'bx

5 years agoRun simple_abc9 tests
Eddie Hung [Fri, 21 Jun 2019 02:06:51 +0000 (19:06 -0700)]
Run simple_abc9 tests

5 years agoMerge remote-tracking branch 'origin/master' into xaig
Eddie Hung [Fri, 21 Jun 2019 02:00:36 +0000 (19:00 -0700)]
Merge remote-tracking branch 'origin/master' into xaig

5 years agoFix issue with part of PI being 1'bx
Eddie Hung [Fri, 21 Jun 2019 00:29:45 +0000 (17:29 -0700)]
Fix issue with part of PI being 1'bx

5 years agoCall opt_expr -mux_undef to get rid of 1'bx in muxes prior to abc
Eddie Hung [Thu, 20 Jun 2019 23:45:09 +0000 (16:45 -0700)]
Call opt_expr -mux_undef to get rid of 1'bx in muxes prior to abc

5 years agoHandle COs driven by 1'bx
Eddie Hung [Thu, 20 Jun 2019 17:47:20 +0000 (10:47 -0700)]
Handle COs driven by 1'bx

5 years agoDo not call "setundef -zero" in abc9
Eddie Hung [Thu, 20 Jun 2019 17:22:14 +0000 (10:22 -0700)]
Do not call "setundef -zero" in abc9