aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Try a different approach with 'muxcover'Eddie Hung2019-04-262-88/+36
|
* Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-04-261-1/+0
|\
| * Where did this check come from!?!Eddie Hung2019-04-261-1/+0
| |
* | Remove split_shiftx callEddie Hung2019-04-261-4/+1
| |
* | Revert "Merge branch 'eddie/split_shiftx' into xc7mux"Eddie Hung2019-04-269-158/+14
| | | | | | | | | | This reverts commit 3042d5833041021bb45252b0cc862e9eff3d27d3, reversing changes made to feff9764540cbf1152459cb377fc68d8e10c7153.
* | Missing newlineEddie Hung2019-04-261-1/+1
| |
* | Add -undef option to equiv_opt, passed to equiv_inductEddie Hung2019-04-261-3/+16
| |
* | Actually use pm.st.shiftxBEddie Hung2019-04-252-3/+6
| |
* | Cleanup supersededEddie Hung2019-04-251-11/+1
| |
* | bitblast_shiftx -> split_shiftxEddie Hung2019-04-251-2/+2
| |
* | Fix for when B_WIDTH has trailing zeroesEddie Hung2019-04-251-5/+9
| |
* | Merge remote-tracking branch 'origin/eddie/split_shiftx' into xc7muxEddie Hung2019-04-254-16/+157
|\ \
| * | In order to indicate a failed pattern, blacklist?Eddie Hung2019-04-252-15/+16
| | |
| * | Add testEddie Hung2019-04-252-0/+139
| | |
| * | Elaborate on help messageEddie Hung2019-04-251-1/+2
| | |
* | | Merge branch 'eddie/split_shiftx' into xc7muxEddie Hung2019-04-259-14/+149
|\| |
| * | Add split_shiftx commandEddie Hung2019-04-252-0/+134
| | |
| * | Make pmgen support files more genericEddie Hung2019-04-252-6/+9
| |/
| * MisspellingEddie Hung2019-04-251-1/+1
| |
| * Merge pull request #957 from YosysHQ/oai4fixClifford Wolf2019-04-232-2/+2
| |\ | | | | | | Fixes for OAI4 cell implementation
| | * Fixes for OAI4 cell implementationDavid Shah2019-04-232-2/+2
| | | | | | | | | | | | | | | | | | Fixes #955 and the underlying issue in #954 Signed-off-by: David Shah <dave@ds0.me>
| * | Format some names using inline codeEddie Hung2019-04-231-2/+2
| | |
| * | Fix spellingEddie Hung2019-04-231-1/+1
| | |
| * | Remove some left-over log_dump()Clifford Wolf2019-04-231-2/+0
| |/ | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Merge pull request #914 from YosysHQ/xc7srlEddie Hung2019-04-228-41/+382
| |\ | | | | | | synth_xilinx to now infer SRL16E/SRLC32E
* | | synth_xilinx to call bitblast_shiftxEddie Hung2019-04-251-1/+4
| | |
* | | Remove topo sort no-loop assertion, with testEddie Hung2019-04-244-14/+76
| | |
* | | Add -nocarry option to synth_xilinxEddie Hung2019-04-241-5/+14
| | |
* | | Fix abc9 with (* keep *) wiresEddie Hung2019-04-232-6/+52
| | |
* | | Refactor into AigerReader::post_process()Eddie Hung2019-04-232-249/+161
| | |
* | | TweakEddie Hung2019-04-221-1/+1
| | |
* | | Fix for A_WIDTH == 2 but B_WIDTH==3Eddie Hung2019-04-221-1/+1
| | |
* | | Trim A_WIDTH by Y_WIDTH-1Eddie Hung2019-04-221-1/+1
| | |
* | | Add commentEddie Hung2019-04-221-0/+3
| | |
* | | Fix for mux_case_* mappingsEddie Hung2019-04-221-17/+9
| | |
* | | Fix for non-pow2 width muxesEddie Hung2019-04-221-9/+18
| | |
* | | Add synth_xilinx -nomux optionEddie Hung2019-04-222-4/+18
| | |
* | | Cleanup, call pmux2shiftx even without -nosrlEddie Hung2019-04-226-45/+30
| | |
* | | Merge branch 'xaig' into xc7muxEddie Hung2019-04-2231-283/+953
|\ \ \
| * | | Temporarily remove 'r' extensionEddie Hung2019-04-222-95/+7
| | | |
| * | | Allow POs to be PIs in XAIGEddie Hung2019-04-221-7/+4
| | | |
| * | | Remove kernel/cost.cc since master has refactored itEddie Hung2019-04-222-76/+0
| | | |
| * | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-2246-97/+4201
| |\| |
| | * | Merge pull request #952 from YosysHQ/clifford/fix370Clifford Wolf2019-04-221-3/+18
| | |\ \ | | | | | | | | | | Determine correct signedness and expression width in for-loop unrolling
| | | * | Determine correct signedness and expression width in for loop unrolling, ↵Clifford Wolf2019-04-221-3/+18
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | fixes #370 Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * | | Merge pull request #951 from YosysHQ/clifford/logdebugClifford Wolf2019-04-2211-53/+183
| | |\ \ \ | | | | | | | | | | | | Add log_debug() framework
| | | * | | Add log_debug() frameworkClifford Wolf2019-04-2211-53/+183
| | | |/ / | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * | | Merge pull request #949 from YosysHQ/clifford/pmux2shimproveClifford Wolf2019-04-222-3/+24
| | |\ \ \ | | | | | | | | | | | | Add full_pmux feature to pmux2shiftx
| | | * | | Updaye pmux2shiftx testClifford Wolf2019-04-221-2/+2
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | * | | Add full_pmux feature to pmux2shiftxClifford Wolf2019-04-221-1/+22
| | | |/ / | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>