aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs/common
Commit message (Collapse)AuthorAgeFilesLines
...
| * | Add synth -keepdc optionEddie Hung2019-07-081-2/+13
| | |
* | | mul2dsp to create cells that can be interchanged with $mulEddie Hung2019-07-181-1/+7
| |/ |/|
* | Make consistentEddie Hung2019-07-181-1/+2
| |
* | Fix signed multiplier decompositionEddie Hung2019-07-181-29/+36
| |
* | Working for unsignedEddie Hung2019-07-181-52/+28
| |
* | CleanupEddie Hung2019-07-181-70/+58
| |
* | mul2dsp: Lower partial products always have unsigned inputsDavid Shah2019-07-181-31/+41
| | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | Fix mul2dsp signednessEddie Hung2019-07-171-42/+38
| |
* | A_SIGNED == B_SIGNED so flip bothEddie Hung2019-07-171-21/+12
| |
* | Add DSP_{A,B}_SIGNEDONLY macroEddie Hung2019-07-161-11/+40
| |
* | Merge branch 'xc7dsp' of github.com:YosysHQ/yosys into xc7dspEddie Hung2019-07-161-22/+26
|\ \
| * | mul2dsp: Fix edge case where Y_WIDTH is less than B_WIDTH+`DSP_A_MAXWIDTHDavid Shah2019-07-161-18/+22
| | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| * | mul2dsp: Fix indentationDavid Shah2019-07-161-7/+7
| | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | | Do not swap if equalsEddie Hung2019-07-151-1/+1
| | |
* | | OUT port to Y in generic DSPEddie Hung2019-07-151-1/+1
|/ /
* | Only swap if B_WIDTH > A_WIDTHEddie Hung2019-07-151-1/+1
| |
* | Tidy upEddie Hung2019-07-151-39/+26
| |
* | mul2dsp: Fix typoDavid Shah2019-07-081-1/+1
| | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | Add mul2dsp multiplier splitting rule and ECP5 mappingDavid Shah2019-07-082-0/+238
|/ | | | Signed-off-by: David Shah <dave@ds0.me>
* Make doc consistentEddie Hung2019-06-141-1/+4
|
* Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-06-123-2/+182
|\
| * Add "wreduce -keepdc", fixes #1016Clifford Wolf2019-05-201-2/+4
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Merge remote-tracking branch 'origin/master' into clifford/specifyEddie Hung2019-05-031-0/+2
| |\
| | * Run "peepopt" in generic "synth" pass and "synth_ice40"Clifford Wolf2019-04-301-0/+2
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Improve $specrule interfaceClifford Wolf2019-04-231-2/+2
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Improve $specrule interfaceClifford Wolf2019-04-231-3/+4
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Add $specrule cells for $setup/$hold/$skew specify rulesClifford Wolf2019-04-231-0/+28
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Rename T_{RISE,FALL}_AVG to T_{RISE,FALL}_TYP to better match verilog std ↵Clifford Wolf2019-04-231-70/+70
| | | | | | | | | | | | | | | | | | nomenclature Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Add $specify2 and $specify3 cells to simlibClifford Wolf2019-04-231-0/+147
| |/ | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* / synth to take -abc9 argumentEddie Hung2019-02-201-5/+13
|/
* Merge pull request #772 from whitequark/synth_lutClifford Wolf2019-01-021-6/+40
|\ | | | | synth: add k-LUT mode
| * synth: add k-LUT mode.whitequark2019-01-021-2/+36
| |
| * synth: improve script documentation. NFC.whitequark2019-01-021-6/+6
| |
* | Merge pull request #771 from whitequark/techmap_cmp2lutClifford Wolf2019-01-022-1/+106
|\| | | | | cmp2lut: new techmap pass
| * cmp2lut: new techmap pass.whitequark2019-01-022-1/+106
| |
* | Fix typographical and grammatical errors and inconsistencies.whitequark2019-01-022-2/+2
|/ | | | | | | | | | | | The initial list of hits was generated with the codespell command below, and each hit was evaluated and fixed manually while taking context into consideration. DIRS="kernel/ frontends/ backends/ passes/ techlibs/" DIRS="${DIRS} libs/ezsat/ libs/subcircuit" codespell $DIRS -S *.o -L upto,iff,thru,synopsys,uint More hits were found by looking through comments and strings manually.
* gate2lut: new techlib, for converting Yosys gates to FPGA LUTs.whitequark2018-12-052-0/+88
|
* Fix typo.whitequark2018-12-051-2/+2
|
* Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-202-8/+8
| | | | | | | | | o Not all derived methods were marked 'override', but it is a great feature of C++11 that we should make use of. o While at it: touched header files got a -*- c++ -*- for emacs to provide support for that language. o use YS_OVERRIDE for all override keywords (though we should probably use the plain keyword going forward now that C++11 is established)
* Make -nordff the default in "prep"Clifford Wolf2018-05-301-9/+13
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add "synth -noshare"Clifford Wolf2018-03-041-2/+11
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add $allconst and $allseq cell typesClifford Wolf2018-02-231-0/+24
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Fix minor typo in "prep" help messageClifford Wolf2017-12-191-1/+1
|
* Add dff2ff.v techmap fileClifford Wolf2017-05-312-0/+15
|
* Add $_ANDNOT_ and $_ORNOT_ gatesClifford Wolf2017-05-171-0/+38
|
* Add $live and $fair cell types, add support for s_eventually keywordClifford Wolf2017-02-251-0/+16
|
* Add $cover cell type and SVA cover() supportClifford Wolf2017-02-041-0/+8
|
* Added $anyseq cell typeClifford Wolf2016-10-141-0/+12
|
* Added $global_clock verilog syntax support for creating $ff cellsClifford Wolf2016-10-142-2/+23
|
* Added $ff and $_FF_ cell typesClifford Wolf2016-10-122-1/+14
|