aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| | | * | | | | | Use module->add{Not,And}Gate() functionsEddie Hung2019-02-121-8/+2
| | | |/ / / / /
| | | * | | | | Merge remote-tracking branch 'origin/dff_init' into read_aigerEddie Hung2019-02-082-7/+7
| | | |\ \ \ \ \
| | | * | | | | | addDff -> addDffGate as per @daveshah1Eddie Hung2019-02-081-1/+1
| | | * | | | | | Fix tabulationEddie Hung2019-02-081-28/+28
| | | * | | | | | -module_name arg to go before -clk_nameEddie Hung2019-02-081-7/+7
| | | * | | | | | Support and differentiate between ASCII and binary AIG testingEddie Hung2019-02-082-2/+6
| | | * | | | | | Add missing "[options]" to read_blif helpEddie Hung2019-02-081-1/+1
| | | * | | | | | Allow module name to be determined by argument tooEddie Hung2019-02-082-14/+44
| | | * | | | | | Refactor into AigerReader classEddie Hung2019-02-082-79/+92
| | | * | | | | | Parse binary AIG filesEddie Hung2019-02-081-49/+164
| | | * | | | | | Add binary AIGs converted from AAGEddie Hung2019-02-0814-0/+51
| | | * | | | | | Refactor to parse_aiger_header()Eddie Hung2019-02-081-26/+32
| | | * | | | | | Add commentEddie Hung2019-02-081-0/+1
| | | * | | | | | Handle reset logic in latchesEddie Hung2019-02-081-2/+17
| | | * | | | | | Change literal vars from int to unsignedEddie Hung2019-02-081-1/+1
| | | * | | | | | Create clk outside of latch loopEddie Hung2019-02-081-7/+9
| | | * | | | | | Handle latch symbols tooEddie Hung2019-02-081-3/+1
| | | * | | | | | Remove return after log_errorEddie Hung2019-02-081-27/+9
| | | * | | | | | Add support for symbol tablesEddie Hung2019-02-081-1/+49
| | | * | | | | | Stub for binary AIGEREddie Hung2019-02-081-3/+8
| | | * | | | | | RefactorEddie Hung2019-02-061-1/+8
| | | * | | | | | Merge branch 'dff_init' of https://github.com/eddiehung/yosys into xaigEddie Hung2019-02-067-50/+172
| | | |\ \ \ \ \ \
| | | * | | | | | | Revert most of autotest.sh; for non *.v use Yosys to translateEddie Hung2019-02-061-7/+9
| | | * | | | | | | Rename ASCII testsEddie Hung2019-02-0615-0/+0
| | | * | | | | | | WIPEddie Hung2019-02-063-0/+247
| | | * | | | | | | Add testsEddie Hung2019-02-0416-8/+109
* | | | | | | | | | Make output port a non chain userEddie Hung2019-03-191-2/+4
* | | | | | | | | | Fix shregmap to correctly recognise non chain users; cleanupEddie Hung2019-03-181-17/+15
* | | | | | | | | | shiftx NULL pointer checkEddie Hung2019-03-181-8/+10
* | | | | | | | | | CleanupEddie Hung2019-03-161-35/+25
* | | | | | | | | | Only accept <128 for variable length, only if $shiftx exclusiveEddie Hung2019-03-162-13/+18
* | | | | | | | | | Cleanup synth_xilinxEddie Hung2019-03-152-3/+2
* | | | | | | | | | WorkingEddie Hung2019-03-153-274/+434
* | | | | | | | | | Reverse bits in INIT parameter for Xilinx, since MSB is shifted firstEddie Hung2019-03-141-16/+32
* | | | | | | | | | MisspellEddie Hung2019-03-141-1/+1
* | | | | | | | | | Revert "Add shregmap -init_msb_first and use in synth_xilinx"Eddie Hung2019-03-142-17/+4
* | | | | | | | | | Merge remote-tracking branch 'origin/master' into xc7srlEddie Hung2019-03-1482-584/+2483
|\| | | | | | | | |
| * | | | | | | | | Merge pull request #868 from YosysHQ/clifford/fixmemClifford Wolf2019-03-132-40/+24
| |\ \ \ \ \ \ \ \ \
| | * | | | | | | | | Remove ice40/cells_sim.v hack to avoid warning for blocking memory writesClifford Wolf2019-03-121-19/+0
| | * | | | | | | | | Improve handling of memories used in mem index expressions on LHS of an assig...Clifford Wolf2019-03-121-5/+16
| | * | | | | | | | | Remove outdated "blocking assignment to memory" warningClifford Wolf2019-03-121-10/+0
| | * | | | | | | | | Only set MEM2REG_FL_CONST_LHS/MEM2REG_FL_VAR_LHS for non-init writes, fixes #867Clifford Wolf2019-03-121-6/+8
| | |/ / / / / / / /
| * | | | | | | | | Fix a bug in handling quotes in multi-cmd lines in Yosys scriptsClifford Wolf2019-03-121-1/+7
| * | | | | | | | | Merge pull request #866 from YosysHQ/clifford/idstuffClifford Wolf2019-03-125-5/+71
| |\ \ \ \ \ \ \ \ \ | | |/ / / / / / / / | |/| | | | | | | |
| | * | | | | | | | Improve determinism of IdString DB for similar scriptsClifford Wolf2019-03-115-5/+71
| * | | | | | | | | Merge pull request #864 from YosysHQ/svalabelfixEddie Hung2019-03-112-92/+66
| |\ \ \ \ \ \ \ \ \ | | |/ / / / / / / / | |/| | | | | | | |
| | * | | | | | | | Fix handling of cases that look like sva labels, fixes #862Clifford Wolf2019-03-102-92/+66
| * | | | | | | | | Add ENABLE_GLOB Makefile switchClifford Wolf2019-03-112-3/+10
| |/ / / / / / / /
| * | | | | | | | Fix typo in ice40_braminit help msgClifford Wolf2019-03-091-1/+1
| * | | | | | | | Merge pull request #859 from smunaut/ice40_braminitClifford Wolf2019-03-094-37/+212
| |\ \ \ \ \ \ \ \