aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Do not ignore newline after AND in binary AIGEddie Hung2019-02-111-1/+0
* Merge remote-tracking branch 'origin/dff_init' into read_aigerEddie Hung2019-02-082-7/+7
|\
| * Cope WIDTH of ff/latch cells is default of zeroEddie Hung2019-02-061-6/+6
| * Remove check for cell->name[0] == '$'Eddie Hung2019-02-061-1/+1
* | 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
|\|
| * RefactorEddie Hung2019-02-061-21/+5
| * write_verilog to cope with init attr on q when -noexprEddie Hung2019-02-061-2/+32
| * Add INIT parameter to all ff/latch cellsEddie Hung2019-02-062-43/+86
| * Add tests for simple cases using defparamEddie Hung2019-02-061-0/+21
| * Add -B option to autotest.sh to append to backend_optsEddie Hung2019-02-061-2/+4
| * Extend testcaseEddie Hung2019-02-061-2/+34
| * Add testcaseEddie Hung2019-02-061-0/+10
| * Add missing blackslash-to-slash convertion to smtio.py (matching Smt2Worker::...Clifford Wolf2019-02-061-1/+1
* | 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
|/
* Merge pull request #798 from mmicko/masterClifford Wolf2019-01-271-1/+1
|\
| * Fixed Anlogic simulation modelMiodrag Milanovic2019-01-251-1/+1
* | Merge pull request #800 from whitequark/write_verilog_tribufClifford Wolf2019-01-271-0/+12
|\ \
| * | write_verilog: write $tribuf cell as ternary.whitequark2019-01-271-0/+12
* | | Merge branch 'whitequark-write_verilog_keyword'Clifford Wolf2019-01-275-69/+27
|\ \ \ | |/ / |/| |
| * | Remove asicworld tests for (unsupported) switch-level modellingClifford Wolf2019-01-274-69/+0
| * | write_verilog: escape names that match SystemVerilog keywords.whitequark2019-01-271-0/+27
|/ /
* | Merge pull request #796 from whitequark/proc_clean_typoDavid Shah2019-01-251-1/+1
|\ \ | |/ |/|
| * proc_clean: fix critical typo.whitequark2019-01-231-1/+1
|/
* Merge pull request #793 from whitequark/proc_clean_fix_fully_defClifford Wolf2019-01-191-1/+7
|\
| * proc_clean: fix fully def check to consider compare/signal length.whitequark2019-01-181-1/+7
|/
* Cleanups in igloo2 example designClifford Wolf2019-01-176-7/+4
* Add SF2 IO buffer insertionClifford Wolf2019-01-176-3/+171
* Improve Igloo2 exampleClifford Wolf2019-01-178-22/+41