aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Uncomment out more testsEddie Hung2019-02-261-25/+39
|
* abc9 -- multiple connections for inoutsEddie Hung2019-02-261-1/+2
|
* write_xaiger to behave for undriven/unused inoutsEddie Hung2019-02-261-23/+25
|
* parse_xaiger() to really pass single and multi-bit inout testsEddie Hung2019-02-261-10/+12
|
* Add IdString::ends_with()Eddie Hung2019-02-261-0/+6
|
* Enable two inout testsEddie Hung2019-02-261-16/+14
|
* parse_xaiger() to cope with multi bit inoutsEddie Hung2019-02-261-0/+11
|
* abc9 cleanupEddie Hung2019-02-251-6/+4
|
* parse_xaiger() to untransform $inout.out output portsEddie Hung2019-02-251-5/+20
|
* write_xaiger duplicate inout port into out port with $inout.out suffixEddie Hung2019-02-251-3/+26
|
* read_aiger to accept empty string for clk_name, passable only if no latchesEddie Hung2019-02-252-2/+3
|
* abc9 not to clean after aigmapEddie Hung2019-02-251-1/+1
|
* Cleanup abc9 codeEddie Hung2019-02-251-13/+8
|
* Add broken testcasesEddie Hung2019-02-251-0/+46
|
* abc9 to call "clean" once at the end of all abc9_module() callsEddie Hung2019-02-251-4/+4
|
* abc9 to use AIGER symbol table, as opposed to map fileEddie Hung2019-02-211-5/+16
|
* write_xaiger to write __dummy_o__ for -symbols tooEddie Hung2019-02-211-12/+11
|
* read_aiger to work with symbol tableEddie Hung2019-02-211-8/+47
|
* Revert "abc9 to write_xaiger -symbols, not -map"Eddie Hung2019-02-211-2/+3
| | | | This reverts commit 04429f8152ae64de050580ec20db60ac6dc1c0e1.
* Remove irrelevant citationsEddie Hung2019-02-211-8/+0
|
* Add attributionEddie Hung2019-02-213-1/+3
|
* abc9 to not select anything extra, and pop selection after final cleanEddie Hung2019-02-211-14/+2
|
* abc9 to write_xaiger -symbols, not -mapEddie Hung2019-02-211-3/+2
|
* Merge branch 'read_aiger' into xaigEddie Hung2019-02-213-4/+8
|\
| * Merge branch 'read_aiger' of https://github.com/eddiehung/yosys into read_aigerEddie Hung2019-02-212-13/+12
| |\
| | * Add aiger tests to make testsEddie Hung2019-02-191-0/+1
| | |
| | * Merge branch 'master' into read_aigerEddie Hung2019-02-190-0/+0
| | |\
| | * | Fix for using POSIX basenameEddie Hung2019-02-191-2/+4
| | | |
| | * | Missing OSX headers?Eddie Hung2019-02-171-0/+5
| | | |
| | * | Revert "Missing headers for Xcode?"Eddie Hung2019-02-171-2/+0
| | | | | | | | | | | | | | | | This reverts commit c23e3f07517d4818d9ab1b532250353492cf50c2.
| | * | Merge branch 'dff_init' into read_aigerEddie Hung2019-02-173-104/+56
| | |\ \
| | * | | read_aiger to ignore line after ands for ascii, not binaryEddie Hung2019-02-171-2/+1
| | | | |
| | * | | One more merge conflictEddie Hung2019-02-171-6/+1
| | | | |
| | * | | Merge branch 'dff_init' into read_aigerEddie Hung2019-02-170-0/+0
| | |\ \ \
| | * \ \ \ Merge https://github.com/YosysHQ/yosys into read_aigerEddie Hung2019-02-179-100/+349
| | |\ \ \ \
* | | | | | | Merge branch 'read_aiger' into xaigEddie Hung2019-02-210-0/+0
|\| | | | | |
| * | | | | | Merge branch 'master' into read_aigerEddie Hung2019-02-1911-204/+400
| |\ \ \ \ \ \ | | | |_|_|_|/ | | |/| | | |
* | | | | | | abc9 to use &mfsEddie Hung2019-02-211-1/+2
| | | | | | |
* | | | | | | Revert "tests/simple to also do LUT synth"Eddie Hung2019-02-211-1/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 5994382a20a0b7e890d22d032eecb39b61e0b3ce.
* | | | | | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-02-2116-63/+1874
|\ \ \ \ \ \ \
| * | | | | | | Hotfix for 4c82ddfClifford Wolf2019-02-211-11/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | | | Merge pull request #822 from litghost/expand_setundefClifford Wolf2019-02-211-0/+29
| |\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | Add -params mode to force undef parameters in selected cells.
| | * | | | | | | Add -params mode to force undef parameters in selected cells.Keith Rothman2019-02-211-0/+29
| |/ / / / / / / | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
| * | | | | | | Merge pull request #818 from YosysHQ/clifford/dffsrfixClifford Wolf2019-02-211-6/+7
| |\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | Fix opt_rmdff handling of $_DFFSR_???_ and $_DLATCHSR_???_, fixes #816
| * \ \ \ \ \ \ \ Merge pull request #786 from YosysHQ/pmgenClifford Wolf2019-02-2114-59/+1851
| |\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | Pattern Matcher Generator and iCE40 DSP Mapper
| | * | | | | | | | Fix typo in passes/pmgen/README.mdClifford Wolf2019-02-211-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * | | | | | | | Bugfix in ice40_dspClifford Wolf2019-02-213-22/+35
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * | | | | | | | Add ice40 test_dsp_map test case generatorClifford Wolf2019-02-202-0/+99
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * | | | | | | | Add "synth_ice40 -dsp"Clifford Wolf2019-02-202-7/+31
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * | | | | | | | Add FF support to wreduceClifford Wolf2019-02-202-1/+73
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>