aboutsummaryrefslogtreecommitdiffstats
path: root/backends
Commit message (Expand)AuthorAgeFilesLines
...
* | 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-205-0/+6
|\|
| * Support filename rewrite in backendsBen Widawsky2019-06-184-0/+4
| * Add timescale and generated-by header to yosys-smtbmc MkVcdClifford Wolf2019-06-161-0/+2
* | 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
* | 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
* | | 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
* | | 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
* | | Update from masterEddie Hung2019-05-281-59/+56
* | | 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
* | | Fix "a" connectivityEddie Hung2019-05-261-5/+30
* | | Fix padding, remove CIs from undriven_bits before erasing undriven POsEddie Hung2019-05-261-14/+8
* | | Fix "a" extensionEddie Hung2019-05-261-8/+18
* | | Fix "write_xaiger", and to write each box contents into holesEddie Hung2019-05-251-39/+62