aboutsummaryrefslogtreecommitdiffstats
path: root/backends/aiger/xaiger.cc
Commit message (Collapse)AuthorAgeFilesLines
* Carry in/out box ordering now move to end, not swap with endEddie Hung2019-06-221-26/+34
|
* Replace assert with error messageEddie Hung2019-06-211-1/+2
|
* Add log_push()/log_pop() inside write_xaigerEddie Hung2019-06-211-0/+4
|
* 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
|
* Refactor bit2aig for less lookupsEddie Hung2019-06-201-24/+27
|
* 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
|
* 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
|
* 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.
* | Fix issue where keep signal became PI, but also box was adding CI driverEddie Hung2019-05-301-5/+19
| |
* | Do not re-sort box_module portsEddie Hung2019-05-301-4/+6
| |
* | Carry in/out to be the last input/output for chains to be preservedEddie Hung2019-05-301-0/+38
| |
* | Fix abc_test024Eddie Hung2019-05-291-4/+5
| |
* | Fix for abc9_test022Eddie Hung2019-05-281-2/+6
| |
* | Small improvementEddie Hung2019-05-281-4/+2
| |
* | Map file to include boxes not CI/COEddie Hung2019-05-271-45/+38
| |
* | Instantiate cell type (from sym file) otherwise 'clean' warningsEddie Hung2019-05-271-2/+4
| |
* | Add 'cinput' and 'coutput' to symbols file for boxesEddie Hung2019-05-271-34/+24
| |