aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* ean call after abc{,9}Eddie Hung2019-11-271-1/+2
|
* Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dffEddie Hung2019-11-271-7/+3
|\
| * Do not replace constants with same wireEddie Hung2019-11-271-7/+3
| |
* | Merge remote-tracking branch 'origin/eddie/write_xaiger_improve' into xaig_dffEddie Hung2019-11-274-34/+30
|\ \
| * | latch -> boxEddie Hung2019-11-261-1/+1
| | |
| * | Remove notesEddie Hung2019-11-261-9/+0
| | |
| * | Fold loopEddie Hung2019-11-261-6/+3
| | |
| * | Do not sigmap keep bits inside write_xaigerEddie Hung2019-11-261-1/+1
| | |
| * | xaiger: do not promote output wiresEddie Hung2019-11-261-5/+0
| | |
| * | xilinx: Add simulation models for IOBUF and OBUFT.Marcin Kościelnicki2019-11-263-25/+30
| | |
* | | Merge remote-tracking branch 'origin/eddie/clkpart' into xaig_dffEddie Hung2019-11-270-0/+0
|\ \ \
| * | | clkpart to analyse async flops tooEddie Hung2019-11-251-0/+8
| | | |
* | | | Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dffEddie Hung2019-11-272-49/+94
|\ \ \ \ | | |_|/ | |/| |
| * | | CleanupEddie Hung2019-11-271-5/+3
| | | |
| * | | Check for nullptrEddie Hung2019-11-271-1/+1
| | | |
| * | | Stray log_dumpEddie Hung2019-11-271-1/+0
| | | |
| * | | Revert "submod to bitty rather bussy, for bussy wires used as input and output"Eddie Hung2019-11-272-42/+76
| | | | | | | | | | | | | | | | This reverts commit cba3073026711e7683c46ba091c56a5c5a041a45.
| * | | Promote output wires in sigmap so that can be detectedEddie Hung2019-11-261-8/+4
| | | |
| * | | Fix wire widthEddie Hung2019-11-261-2/+2
| | | |
| * | | Fix submod -hiddenEddie Hung2019-11-261-5/+6
| | | |
| * | | Add -hidden option to submodEddie Hung2019-11-261-11/+25
| | | |
| * | | Update docs with bullet pointsEddie Hung2019-11-261-10/+9
| | | |
| * | | Move \init from source wire to submod if output portEddie Hung2019-11-251-0/+7
| | | |
| * | | Add testcase where \init is copiedEddie Hung2019-11-251-0/+18
| | | |
* | | | Merge branch 'master' into xaig_dffEddie Hung2019-11-260-0/+0
|\ \ \ \
| * \ \ \ Merge branch 'master' of github.com:YosysHQ/yosysEddie Hung2019-11-22312-25148/+44916
| |\ \ \ \
| * | | | | Fix typoEddie Hung2019-09-271-1/+1
| | | | | |
* | | | | | xaiger: do not promote output wiresEddie Hung2019-11-261-5/+0
| | | | | |
* | | | | | Move 'clean' from map_luts to finalizeEddie Hung2019-11-261-1/+1
| | | | | |
* | | | | | Fix submod -hiddenEddie Hung2019-11-261-5/+6
| | | | | |
* | | | | | clkpart to use 'submod -hidden'Eddie Hung2019-11-261-1/+1
| | | | | |
* | | | | | Add -hidden option to submodEddie Hung2019-11-261-20/+40
| | | | | |
* | | | | | Fold loopEddie Hung2019-11-251-6/+3
| | | | | |
* | | | | | Do not sigmap keep bits inside write_xaigerEddie Hung2019-11-251-1/+1
| | | | | |
* | | | | | Fix debugEddie Hung2019-11-251-3/+3
| | | | | |
* | | | | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-11-2510-18/+83
|\ \ \ \ \ \ | | |_|_|_|/ | |/| | | |
| * | | | | clkbufmap: Add support for inverters in clock path.Marcin Kościelnicki2019-11-254-6/+69
| | | | | |
| * | | | | xilinx: Use INV instead of LUT1 when applicableMarcin Kościelnicki2019-11-255-10/+14
| | | | | |
| * | | | | Merge pull request #1520 from pietrmar/fix-1463Eddie Hung2019-11-221-2/+0
| |\ \ \ \ \ | | |_|/ / / | |/| | | | coolrunner2: remove spurious log_pop() call, fixes #1463
| | * | | | coolrunner2: remove spurious log_pop() call, fixes #1463Martin Pietryka2019-11-231-2/+0
| |/ / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This was causing a segmentation fault because there is no accompanying log_push() call so header_count.size() became -1. Signed-off-by: Martin Pietryka <martin@pietryka.at>
* | | | | Special abc9_clock wire to contain only clock signalEddie Hung2019-11-251-12/+10
| | | | |
* | | | | abc9 to contain time callEddie Hung2019-11-251-1/+1
| | | | |
* | | | | abc9 to no longer to clock partitioning, operate on whole modules onlyEddie Hung2019-11-251-139/+32
| | | | |
* | | | | clkpart to analyse async flops tooEddie Hung2019-11-251-0/+8
| | | | |
* | | | | Merge remote-tracking branch 'origin/eddie/clkpart' into xaig_dffEddie Hung2019-11-231-2/+3
|\ \ \ \ \ | | |_|_|/ | |/| | |
| * | | | More oopsiesEddie Hung2019-11-231-2/+3
| | | | |
* | | | | Conditioning abc9 on POs not accurate due to cellsEddie Hung2019-11-231-15/+6
| | | | |
* | | | | For abc9, run clkpart before ff_map and after abc9Eddie Hung2019-11-231-0/+2
| | | | |
* | | | | Merge remote-tracking branch 'origin/eddie/clkpart' into xaig_dffEddie Hung2019-11-231-13/+27
|\| | | |
| * | | | Print ".en=" only if there is an enable signalEddie Hung2019-11-231-1/+1
| | | | |