aboutsummaryrefslogtreecommitdiffstats
path: root/backends/aiger
Commit message (Collapse)AuthorAgeFilesLines
...
| * One more workaround for gcc-4.8Eddie Hung2019-06-211-3/+4
| |
| * No point logging constant bitEddie Hung2019-06-211-1/+1
| |
| * Move commentEddie Hung2019-06-211-2/+3
| |
| * Fix spacingEddie Hung2019-06-201-1/+1
| |
| * Refactor bit2aig for less lookupsEddie Hung2019-06-201-24/+27
| |
| * Fix gcc invalidation behaviour for write_aigerEddie Hung2019-06-201-1/+2
| |
| * Fix gcc error, due to dict invalidation during recursionEddie Hung2019-06-201-2/+3
| |
| * write_xaiger to flatten 1'bx/1'bz to 1'b0 againEddie Hung2019-06-201-2/+4
| |
| * Fix different abc9 testEddie Hung2019-06-201-2/+3
| |
| * Fix broken abc9.v test due to inout being 1'bxEddie Hung2019-06-201-2/+11
| |
| * Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-06-201-0/+1
| |\
| | * Support filename rewrite in backendsBen Widawsky2019-06-181-0/+1
| | | | | | | | | | | | Signed-off-by: Ben Widawsky <ben@bwidawsk.net>
| * | Handle COs driven by 1'bxEddie Hung2019-06-201-3/+9
| | |
| * | write_xaiger to skip POs driven by 1'bxEddie Hung2019-06-201-3/+7
| | |
| * | CleanupEddie Hung2019-06-161-228/+25
| | |
* | | CleanupEddie Hung2019-06-161-39/+30
| | |
* | | Cleanup write_xaigerEddie Hung2019-06-151-15/+10
| | |
* | | Preserve init of flops, and write into XAIGEddie Hung2019-06-151-5/+30
| | |
* | | Do not treat $__ABC_FF_ as a user cellEddie Hung2019-06-151-9/+9
| | |
* | | Update commentEddie Hung2019-06-151-1/+1
| | |
* | | Use $__ABC_FF_ instead of $_FF_Eddie Hung2019-06-151-2/+2
| | |
* | | Update commentEddie Hung2019-06-151-1/+1
| | |
* | | write_xaiger to treat abc_flop boxes as boxff for ABCEddie Hung2019-06-151-122/+105
|/ /
* | Leave breadcrumb behindEddie Hung2019-06-141-0/+2
| |
* | Remove redundant conditionEddie Hung2019-06-141-1/+1
| |
* | Revert "Cleanup/optimise toposort in write_xaiger"Eddie Hung2019-06-141-44/+40
| | | | | | | | | | | | This reverts commit 1948e7c846ea318d003148974945d917701a4452. Restores old toposort with optimisations
* | Update commentEddie Hung2019-06-141-1/+2
| |
* | Check that whiteboxes are synthesisableEddie Hung2019-06-141-4/+8
| |
* | Get rid of compiler warningsEddie Hung2019-06-141-2/+2
| |
* | Cover __APPLE__ too for little to big endianEddie Hung2019-06-141-4/+9
| |
* | Further cleanup based on @daveshah1Eddie Hung2019-06-141-27/+21
| |
* | Resolve comments from @daveshah1Eddie Hung2019-06-141-14/+8
| |
* | Remove WIP ABC9 flop supportEddie Hung2019-06-141-33/+33
| |
* | CleanupEddie Hung2019-06-141-1/+0
| |
* | Merge branch 'xaig' of github.com:YosysHQ/yosys into xaigEddie Hung2019-06-141-2/+1
|\ \
| * | ecp5: Add abc9 optionDavid Shah2019-06-141-2/+1
| | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | | Cleanup/optimise toposort in write_xaigerEddie Hung2019-06-141-54/+47
|/ /
* | Remove unnecessary undriven_bits.insertEddie Hung2019-06-121-4/+1
| |
* | write_xaiger to preserve POs even if driven by constantEddie Hung2019-06-121-7/+6
| |
* | Add a couple more testsEddie Hung2019-06-121-21/+18
| |
* | More write_xaiger cleanupEddie Hung2019-06-121-40/+12
| |
* | Cleanup write_xaigerEddie Hung2019-06-121-92/+6
| |
* | ConsistencyEddie Hung2019-06-121-1/+1
| |
* | Add log_assert to ensure no loopsEddie Hung2019-06-041-1/+15
| |
* | Only toposort builtin and abc typesEddie Hung2019-06-041-6/+9
| |
* | When creating new holes cell, inherit parameters tooEddie Hung2019-06-031-1/+3
| |
* | ABC9 to understand flopsEddie Hung2019-05-311-46/+27
| |
* | Merge branch 'xaig' into xc7muxEddie Hung2019-05-311-8/+79
|\ \
| * | Fix abc9 with (* keep *) wiresEddie Hung2019-04-231-6/+14
| | |
| * | Revert "Temporarily remove 'r' extension"Eddie Hung2019-04-221-7/+77
| | | | | | | | | | | | This reverts commit eaf3c247729365cec776e147f380ce59f7dccd4d.