aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| | | * | | | | | 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
| |\ \ \ \ \ \ \ \
| | * | | | | | | | ice40: Run ice40_braminit pass by defaultSylvain Munaut2019-03-081-0/+1
| | * | | | | | | | ice40: Add ice40_braminit pass to allow initialization of BRAM from fileSylvain Munaut2019-03-083-37/+211
| * | | | | | | | | Fix signed $shift/$shiftx handling in write_smt2Clifford Wolf2019-03-091-1/+2
| * | | | | | | | | Add $dffsr support to async2syncClifford Wolf2019-03-091-2/+51
| * | | | | | | | | Merge pull request #858 from YosysHQ/clifford/svalabelsClifford Wolf2019-03-096-58/+203
| |\ \ \ \ \ \ \ \ \
| | * | | | | | | | | Also add support for labels on sva module items, fixes #699Clifford Wolf2019-03-082-44/+113
| | * | | | | | | | | Use SVA label in smt export if availableClifford Wolf2019-03-071-2/+2
| | * | | | | | | | | Add support for SVA labels in read_verilogClifford Wolf2019-03-073-26/+89