yosys.git
5 years agoMerge remote-tracking branch 'origin/xaig' into xc7mux
Eddie Hung [Fri, 14 Jun 2019 21:20:36 +0000 (14:20 -0700)]
Merge remote-tracking branch 'origin/xaig' into xc7mux

5 years agoLeave breadcrumb behind
Eddie Hung [Fri, 14 Jun 2019 20:34:40 +0000 (13:34 -0700)]
Leave breadcrumb behind

5 years agoRemove redundant condition
Eddie Hung [Fri, 14 Jun 2019 20:31:18 +0000 (13:31 -0700)]
Remove redundant condition

5 years agoRevert "Cleanup/optimise toposort in write_xaiger"
Eddie Hung [Fri, 14 Jun 2019 20:28:47 +0000 (13:28 -0700)]
Revert "Cleanup/optimise toposort in write_xaiger"

This reverts commit 1948e7c846ea318d003148974945d917701a4452.

Restores old toposort with optimisations

5 years agoRevert "Cleanup/optimise toposort in write_xaiger"
Eddie Hung [Fri, 14 Jun 2019 20:28:47 +0000 (13:28 -0700)]
Revert "Cleanup/optimise toposort in write_xaiger"

This reverts commit 1948e7c846ea318d003148974945d917701a4452.

Restores old toposort with optimisations

5 years agoMerge remote-tracking branch 'origin/xaig' into xc7mux
Eddie Hung [Fri, 14 Jun 2019 20:15:12 +0000 (13:15 -0700)]
Merge remote-tracking branch 'origin/xaig' into xc7mux

5 years agoUpdate comment
Eddie Hung [Fri, 14 Jun 2019 20:10:46 +0000 (13:10 -0700)]
Update comment

5 years agoCheck that whiteboxes are synthesisable
Eddie Hung [Fri, 14 Jun 2019 20:08:38 +0000 (13:08 -0700)]
Check that whiteboxes are synthesisable

5 years agoGet rid of compiler warnings
Eddie Hung [Fri, 14 Jun 2019 20:07:56 +0000 (13:07 -0700)]
Get rid of compiler warnings

5 years agoUpdate CHANGELOG
Eddie Hung [Fri, 14 Jun 2019 19:50:30 +0000 (12:50 -0700)]
Update CHANGELOG

5 years agoRevert "Remove wide mux inference"
Eddie Hung [Fri, 14 Jun 2019 19:50:24 +0000 (12:50 -0700)]
Revert "Remove wide mux inference"

This reverts commit 738fdfe8f55e18ac7f315cd68c117eae370004ca.

5 years agoMerge branch 'xaig' into xc7mux
Eddie Hung [Fri, 14 Jun 2019 19:46:52 +0000 (12:46 -0700)]
Merge branch 'xaig' into xc7mux

5 years agoAs per @daveshah1 remove async DFF timing from xilinx
Eddie Hung [Fri, 14 Jun 2019 19:43:20 +0000 (12:43 -0700)]
As per @daveshah1 remove async DFF timing from xilinx

5 years agoCover __APPLE__ too for little to big endian
Eddie Hung [Fri, 14 Jun 2019 19:40:51 +0000 (12:40 -0700)]
Cover __APPLE__ too for little to big endian

5 years agoUpdate abc9 -D doc
Eddie Hung [Fri, 14 Jun 2019 19:29:46 +0000 (12:29 -0700)]
Update abc9 -D doc

5 years agoEnable "abc9 -D <num>" for timing-driven synthesis
Eddie Hung [Fri, 14 Jun 2019 19:28:01 +0000 (12:28 -0700)]
Enable "abc9 -D <num>" for timing-driven synthesis

5 years agoFurther cleanup based on @daveshah1
Eddie Hung [Fri, 14 Jun 2019 19:25:06 +0000 (12:25 -0700)]
Further cleanup based on @daveshah1

5 years agoResolve comments from @daveshah1
Eddie Hung [Fri, 14 Jun 2019 19:00:02 +0000 (12:00 -0700)]
Resolve comments from @daveshah1

5 years agoAdd XC7_WIRE_DELAY macro to synth_xilinx.cc
Eddie Hung [Fri, 14 Jun 2019 18:38:22 +0000 (11:38 -0700)]
Add XC7_WIRE_DELAY macro to synth_xilinx.cc

5 years agoUpdate delays based on SymbiFlow/prjxray-db
Eddie Hung [Fri, 14 Jun 2019 18:33:10 +0000 (11:33 -0700)]
Update delays based on SymbiFlow/prjxray-db

5 years agoRename +/xilinx/abc.{box,lut} -> abc_xc7.{box,lut}
Eddie Hung [Fri, 14 Jun 2019 17:51:11 +0000 (10:51 -0700)]
Rename +/xilinx/abc.{box,lut} -> abc_xc7.{box,lut}

5 years agoComment out dist RAM boxing on ECP5 for now
Eddie Hung [Fri, 14 Jun 2019 17:42:30 +0000 (10:42 -0700)]
Comment out dist RAM boxing on ECP5 for now

5 years agoRemove WIP ABC9 flop support
Eddie Hung [Fri, 14 Jun 2019 17:37:52 +0000 (10:37 -0700)]
Remove WIP ABC9 flop support

5 years agoMerge remote-tracking branch 'origin/master' into xaig
Eddie Hung [Fri, 14 Jun 2019 17:33:27 +0000 (10:33 -0700)]
Merge remote-tracking branch 'origin/master' into xaig

5 years agoMake doc consistent
Eddie Hung [Fri, 14 Jun 2019 17:32:46 +0000 (10:32 -0700)]
Make doc consistent

5 years agoCleanup
Eddie Hung [Fri, 14 Jun 2019 17:29:27 +0000 (10:29 -0700)]
Cleanup

5 years agoMerge branch 'xaig' of github.com:YosysHQ/yosys into xaig
Eddie Hung [Fri, 14 Jun 2019 17:29:16 +0000 (10:29 -0700)]
Merge branch 'xaig' of github.com:YosysHQ/yosys into xaig

5 years agoMerge pull request #1097 from YosysHQ/dave/xaig_ecp5
Eddie Hung [Fri, 14 Jun 2019 17:28:30 +0000 (10:28 -0700)]
Merge pull request #1097 from YosysHQ/dave/xaig_ecp5

Add ECP5 ABC9 support (to xaig branch)

5 years agoCleanup
Eddie Hung [Fri, 14 Jun 2019 17:27:30 +0000 (10:27 -0700)]
Cleanup

5 years agoCleanup/optimise toposort in write_xaiger
Eddie Hung [Fri, 14 Jun 2019 17:13:17 +0000 (10:13 -0700)]
Cleanup/optimise toposort in write_xaiger

5 years agoRemove extra semicolon
Eddie Hung [Fri, 14 Jun 2019 17:11:34 +0000 (10:11 -0700)]
Remove extra semicolon

5 years agoAdd TODO to parse_xaiger
Eddie Hung [Fri, 14 Jun 2019 17:11:13 +0000 (10:11 -0700)]
Add TODO to parse_xaiger

5 years agoecp5: Add abc9 option
David Shah [Fri, 14 Jun 2019 11:02:12 +0000 (12:02 +0100)]
ecp5: Add abc9 option

Signed-off-by: David Shah <dave@ds0.me>
5 years agoOptimise some more
Eddie Hung [Fri, 14 Jun 2019 00:02:58 +0000 (17:02 -0700)]
Optimise some more

5 years agoMove ConstEvalAig to aigerparse.cc
Eddie Hung [Thu, 13 Jun 2019 23:28:11 +0000 (16:28 -0700)]
Move ConstEvalAig to aigerparse.cc

5 years agoFix name clash
Eddie Hung [Thu, 13 Jun 2019 21:27:07 +0000 (14:27 -0700)]
Fix name clash

5 years agoMore slimming
Eddie Hung [Thu, 13 Jun 2019 20:29:03 +0000 (13:29 -0700)]
More slimming

5 years agoAdd ConstEvalAig specialised for AIGs
Eddie Hung [Thu, 13 Jun 2019 20:13:48 +0000 (13:13 -0700)]
Add ConstEvalAig specialised for AIGs

5 years agoUpdate CHANGELOG with "synth -abc9"
Eddie Hung [Thu, 13 Jun 2019 16:15:30 +0000 (09:15 -0700)]
Update CHANGELOG with "synth -abc9"

5 years agoFix LP SB_LUT4 timing
Eddie Hung [Thu, 13 Jun 2019 15:24:33 +0000 (08:24 -0700)]
Fix LP SB_LUT4 timing

5 years agoMore accurate CHANGELOG
Eddie Hung [Thu, 13 Jun 2019 15:22:22 +0000 (08:22 -0700)]
More accurate CHANGELOG

5 years agoMerge pull request #829 from abdelrahmanhosny/master
Serge Bazanski [Thu, 13 Jun 2019 10:14:37 +0000 (12:14 +0200)]
Merge pull request #829 from abdelrahmanhosny/master

Dockerfile for Yosys

5 years agoUpdate CHANGELOG
Eddie Hung [Wed, 12 Jun 2019 23:54:12 +0000 (16:54 -0700)]
Update CHANGELOG

5 years agoRip out all non FPGA stuff from abc9
Eddie Hung [Wed, 12 Jun 2019 23:53:12 +0000 (16:53 -0700)]
Rip out all non FPGA stuff from abc9

5 years agoFix spelling
Eddie Hung [Wed, 12 Jun 2019 23:52:09 +0000 (16:52 -0700)]
Fix spelling

5 years agoRevert "For 'stat' do not count modules with abc_box_id"
Eddie Hung [Wed, 12 Jun 2019 23:51:37 +0000 (16:51 -0700)]
Revert "For 'stat' do not count modules with abc_box_id"

This reverts commit b89bb744529fc8a5e4cd38522f86a797117f2abc.

5 years agoRevert "Merge remote-tracking branch 'origin/eddie/muxpack' into xc7mux"
Eddie Hung [Wed, 12 Jun 2019 23:33:05 +0000 (16:33 -0700)]
Revert "Merge remote-tracking branch 'origin/eddie/muxpack' into xc7mux"

This reverts commit 2223ca91b0cc559bb876e8e97372a8f77da1603e, reversing
changes made to eaee250a6e63e58dfef63fa30c4120db78223e24.

5 years agoMove neg-pol to pos-pol mapping from ff_map to cells_map.v
Eddie Hung [Sun, 28 Apr 2019 19:36:04 +0000 (12:36 -0700)]
Move neg-pol to pos-pol mapping from ff_map to cells_map.v

5 years agoBe more precise when connecting during ABC9 re-integration
Eddie Hung [Wed, 12 Jun 2019 23:04:33 +0000 (16:04 -0700)]
Be more precise when connecting during ABC9 re-integration

5 years agoRemove unnecessary undriven_bits.insert
Eddie Hung [Wed, 12 Jun 2019 22:55:02 +0000 (15:55 -0700)]
Remove unnecessary undriven_bits.insert

5 years agoRemove hacky wideports_split from abc9
Eddie Hung [Wed, 12 Jun 2019 22:52:49 +0000 (15:52 -0700)]
Remove hacky wideports_split from abc9

5 years agoFix compile errors when #if 1 for debug
Eddie Hung [Wed, 12 Jun 2019 22:47:39 +0000 (15:47 -0700)]
Fix compile errors when #if 1 for debug

5 years agoparse_xaiger to cope with inouts
Eddie Hung [Wed, 12 Jun 2019 22:45:46 +0000 (15:45 -0700)]
parse_xaiger to cope with inouts

5 years agowrite_xaiger to preserve POs even if driven by constant
Eddie Hung [Wed, 12 Jun 2019 22:44:30 +0000 (15:44 -0700)]
write_xaiger to preserve POs even if driven by constant

5 years agoAdd a couple more tests
Eddie Hung [Wed, 12 Jun 2019 22:43:43 +0000 (15:43 -0700)]
Add a couple more tests

5 years agoDo not call abc9 if no outputs
Eddie Hung [Wed, 12 Jun 2019 17:18:44 +0000 (10:18 -0700)]
Do not call abc9 if no outputs

5 years agoMore write_xaiger cleanup
Eddie Hung [Wed, 12 Jun 2019 17:00:57 +0000 (10:00 -0700)]
More write_xaiger cleanup

5 years agoCleanup write_xaiger
Eddie Hung [Wed, 12 Jun 2019 16:53:14 +0000 (09:53 -0700)]
Cleanup write_xaiger

5 years agoConsistency
Eddie Hung [Wed, 12 Jun 2019 16:40:51 +0000 (09:40 -0700)]
Consistency

5 years agoReduce diff with master
Eddie Hung [Wed, 12 Jun 2019 16:34:41 +0000 (09:34 -0700)]
Reduce diff with master

5 years agoRemove abc_flop{,_d} attributes from ice40/cells_sim.v
Eddie Hung [Wed, 12 Jun 2019 16:29:30 +0000 (09:29 -0700)]
Remove abc_flop{,_d} attributes from ice40/cells_sim.v

5 years agoFix spacing
Eddie Hung [Wed, 12 Jun 2019 16:21:52 +0000 (09:21 -0700)]
Fix spacing

5 years agoRemove wide mux inference
Eddie Hung [Wed, 12 Jun 2019 16:20:46 +0000 (09:20 -0700)]
Remove wide mux inference

5 years agoMerge branch 'xc7mux' into xaig
Eddie Hung [Wed, 12 Jun 2019 16:14:27 +0000 (09:14 -0700)]
Merge branch 'xc7mux' into xaig

5 years agoMerge branch 'xc7mux' of github.com:YosysHQ/yosys into xc7mux
Eddie Hung [Wed, 12 Jun 2019 16:14:12 +0000 (09:14 -0700)]
Merge branch 'xc7mux' of github.com:YosysHQ/yosys into xc7mux

5 years agoTypo: wire delay is -W argument
Eddie Hung [Wed, 12 Jun 2019 16:13:53 +0000 (09:13 -0700)]
Typo: wire delay is -W argument

5 years agoRevert "Merge remote-tracking branch 'origin/eddie/shregmap_improve' into xc7mux"
Eddie Hung [Wed, 12 Jun 2019 16:05:02 +0000 (09:05 -0700)]
Revert "Merge remote-tracking branch 'origin/eddie/shregmap_improve' into xc7mux"

This reverts commit a138381ac3f2c820d187f08531ffd823d6cbcfd5, reversing
changes made to b77c5da76919f7f99f171a0a2775896fbc8debc2.

5 years agoRevert "Merge remote-tracking branch 'origin/eddie/muxpack' into xc7mux"
Eddie Hung [Wed, 12 Jun 2019 16:04:31 +0000 (09:04 -0700)]
Revert "Merge remote-tracking branch 'origin/eddie/muxpack' into xc7mux"

This reverts commit eaee250a6e63e58dfef63fa30c4120db78223e24, reversing
changes made to 935df3569b4677ac38041ff01a2f67185681f4e3.

5 years agoRevert "Merge remote-tracking branch 'origin/eddie/muxpack' into xc7mux"
Eddie Hung [Wed, 12 Jun 2019 16:01:15 +0000 (09:01 -0700)]
Revert "Merge remote-tracking branch 'origin/eddie/muxpack' into xc7mux"

This reverts commit 2223ca91b0cc559bb876e8e97372a8f77da1603e, reversing
changes made to eaee250a6e63e58dfef63fa30c4120db78223e24.

5 years agoMerge remote-tracking branch 'origin/xc7mux' into xaig
Eddie Hung [Wed, 12 Jun 2019 15:52:46 +0000 (08:52 -0700)]
Merge remote-tracking branch 'origin/xc7mux' into xaig

5 years agoMerge remote-tracking branch 'origin/master' into xaig
Eddie Hung [Wed, 12 Jun 2019 15:50:39 +0000 (08:50 -0700)]
Merge remote-tracking branch 'origin/master' into xaig

5 years agoRetry "Add "-W' wire delay arg to abc9, use from synth_xilinx"
Eddie Hung [Wed, 12 Jun 2019 15:49:15 +0000 (08:49 -0700)]
Retry "Add "-W' wire delay arg to abc9, use from synth_xilinx"

5 years agoRevert "Add "-W' wire delay arg to abc9, use from synth_xilinx"
Eddie Hung [Wed, 12 Jun 2019 15:48:45 +0000 (08:48 -0700)]
Revert "Add "-W' wire delay arg to abc9, use from synth_xilinx"

This reverts commit 2dffa4685b830313204f5d04314a14ed6ecac8ec.

5 years agoAdd "-W' wire delay arg to abc9, use from synth_xilinx
Eddie Hung [Wed, 12 Jun 2019 00:10:47 +0000 (17:10 -0700)]
Add "-W' wire delay arg to abc9, use from synth_xilinx

5 years agoRevert "Merge remote-tracking branch 'origin/eddie/shregmap_improve' into xc7mux"
Eddie Hung [Tue, 11 Jun 2019 23:05:27 +0000 (16:05 -0700)]
Revert "Merge remote-tracking branch 'origin/eddie/shregmap_improve' into xc7mux"

This reverts commit 5174082208ef9bea22ad1ba62622947375b3e83b, reversing
changes made to 54379f9872ba3abdf5328994abcf5abfc7288c6b.

5 years agoMerge remote-tracking branch 'origin/eddie/shregmap_improve' into xc7mux
Eddie Hung [Tue, 11 Jun 2019 22:48:41 +0000 (15:48 -0700)]
Merge remote-tracking branch 'origin/eddie/shregmap_improve' into xc7mux

5 years agoTry way that doesn't involve creating a new wire
Eddie Hung [Tue, 11 Jun 2019 22:48:20 +0000 (15:48 -0700)]
Try way that doesn't involve creating a new wire

5 years agoDisable dist RAM boxes due to comb loop
Eddie Hung [Tue, 11 Jun 2019 19:02:51 +0000 (12:02 -0700)]
Disable dist RAM boxes due to comb loop

5 years agoRemove #ifndef ABC
Eddie Hung [Tue, 11 Jun 2019 19:02:31 +0000 (12:02 -0700)]
Remove #ifndef ABC

5 years agoMerge remote-tracking branch 'origin/eddie/shregmap_improve' into xc7mux
Eddie Hung [Mon, 10 Jun 2019 23:21:43 +0000 (16:21 -0700)]
Merge remote-tracking branch 'origin/eddie/shregmap_improve' into xc7mux

5 years agoIf d_bit already in sigbit_chain_next, create extra wire
Eddie Hung [Mon, 10 Jun 2019 23:16:40 +0000 (16:16 -0700)]
If d_bit already in sigbit_chain_next, create extra wire

5 years agoAdd test
Eddie Hung [Mon, 10 Jun 2019 23:16:26 +0000 (16:16 -0700)]
Add test

5 years agoRevert "Revert "Move ff_map back after ABC for shregmap""
Eddie Hung [Mon, 10 Jun 2019 21:37:09 +0000 (14:37 -0700)]
Revert "Revert "Move ff_map back after ABC for shregmap""

This reverts commit e473e7456545d702c011ee7872956f94a8522865.

5 years agoRevert "Rename shregmap -tech xilinx -> xilinx_dynamic"
Eddie Hung [Mon, 10 Jun 2019 21:34:43 +0000 (14:34 -0700)]
Revert "Rename shregmap -tech xilinx -> xilinx_dynamic"

This reverts commit 94a5f4e60985fc1e3fea75eec85638fa29874bea.

5 years agoRevert "shregmap -tech xilinx_dynamic to work -params and -enpol"
Eddie Hung [Mon, 10 Jun 2019 21:34:16 +0000 (14:34 -0700)]
Revert "shregmap -tech xilinx_dynamic to work -params and -enpol"

This reverts commit 45d1bdf83ae6d51628e917b66f1b6043c8a3baee.

5 years agoRevert "Refactor to ShregmapTechXilinx7Static"
Eddie Hung [Mon, 10 Jun 2019 21:34:15 +0000 (14:34 -0700)]
Revert "Refactor to ShregmapTechXilinx7Static"

This reverts commit e1e37db86073e545269ff440da77f57135e8b155.

5 years agoRevert "Add -tech xilinx_static"
Eddie Hung [Mon, 10 Jun 2019 21:34:14 +0000 (14:34 -0700)]
Revert "Add -tech xilinx_static"

This reverts commit dfe9d95579ab98d7518d40e427af858243de4eb3.

5 years agoRevert "Continue support for ShregmapTechXilinx7Static"
Eddie Hung [Mon, 10 Jun 2019 21:34:14 +0000 (14:34 -0700)]
Revert "Continue support for ShregmapTechXilinx7Static"

This reverts commit 72eda94a66c8c4938a713c9ae49d560e6b33574f.

5 years agoRevert "shregmap -tech xilinx_static to handle INIT"
Eddie Hung [Mon, 10 Jun 2019 21:34:12 +0000 (14:34 -0700)]
Revert "shregmap -tech xilinx_static to handle INIT"

This reverts commit 935df3569b4677ac38041ff01a2f67185681f4e3.

5 years agoMerge remote-tracking branch 'origin/master' into xc7mux
Eddie Hung [Mon, 10 Jun 2019 18:02:54 +0000 (11:02 -0700)]
Merge remote-tracking branch 'origin/master' into xc7mux

5 years agoAdd some more comments
Eddie Hung [Mon, 10 Jun 2019 17:27:55 +0000 (10:27 -0700)]
Add some more comments

5 years agoMerge pull request #1082 from corecode/u4k
David Shah [Mon, 10 Jun 2019 14:12:23 +0000 (15:12 +0100)]
Merge pull request #1082 from corecode/u4k

ice40/cells_sim.v: Add support for RGB_DRV/LED_DRV_CUR for u4k

5 years agoice40/cells_sim.v: Add support for RGB_DRV/LED_DRV_CUR for u4k
Simon Schubert [Mon, 10 Jun 2019 09:49:08 +0000 (11:49 +0200)]
ice40/cells_sim.v: Add support for RGB_DRV/LED_DRV_CUR for u4k

5 years agoMerge pull request #1078 from YosysHQ/eddie/muxcover_costs
Clifford Wolf [Sat, 8 Jun 2019 09:31:19 +0000 (11:31 +0200)]
Merge pull request #1078 from YosysHQ/eddie/muxcover_costs

Allow muxcover costs to be changed

5 years agoUpdate CHANGELOG
Eddie Hung [Sat, 8 Jun 2019 00:00:36 +0000 (17:00 -0700)]
Update CHANGELOG

5 years agoComment out muxpack (currently broken)
Eddie Hung [Fri, 7 Jun 2019 23:58:57 +0000 (16:58 -0700)]
Comment out muxpack (currently broken)

5 years agoFine tune aigerparse
Eddie Hung [Fri, 7 Jun 2019 23:57:32 +0000 (16:57 -0700)]
Fine tune aigerparse

5 years agoMerge remote-tracking branch 'origin/master' into xc7mux
Eddie Hung [Fri, 7 Jun 2019 23:15:19 +0000 (16:15 -0700)]
Merge remote-tracking branch 'origin/master' into xc7mux

5 years agoFix spacing from spaces to tabs
Eddie Hung [Fri, 7 Jun 2019 22:44:57 +0000 (15:44 -0700)]
Fix spacing from spaces to tabs

5 years agoMerge pull request #1079 from YosysHQ/eddie/fix_read_aiger
Clifford Wolf [Fri, 7 Jun 2019 21:13:34 +0000 (23:13 +0200)]
Merge pull request #1079 from YosysHQ/eddie/fix_read_aiger

Fix read_aiger to really get tested, and fix some uncovered read_aiger issues