aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs
Commit message (Collapse)AuthorAgeFilesLines
...
| * | | | | 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>
* | | | | Trim off leading 1'bx in AEddie Hung2019-05-021-7/+20
| | | | |
* | | | | Add don't care optimisationEddie Hung2019-05-021-0/+11
| | | | |
* | | | | Use new peepopt from #969Eddie Hung2019-05-021-10/+15
| | | | |
* | | | | Merge remote-tracking branch 'origin/clifford/pmgenstuff' into xc7muxEddie Hung2019-05-022-0/+4
|\ \ \ \ \ | | |_|/ / | |/| | |
| * | | | Run "peepopt" in generic "synth" pass and "synth_ice40"Clifford Wolf2019-04-302-0/+4
| |/ / / | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | Revert to pre-muxcover approachEddie Hung2019-05-022-25/+82
| | | |
* | | | Missing help_modeEddie Hung2019-05-021-1/+1
| | | |
* | | | Fix -nocarryEddie Hung2019-05-021-3/+3
| | | |
* | | | Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-05-025-181/+123
|\ \ \ \ | | |/ / | |/| |
| * | | Back to passing all xc7srl tests!Eddie Hung2019-05-011-5/+4
| | | |
| * | | Merge remote-tracking branch 'origin/master' into eddie/synth_xilinx_fineEddie Hung2019-05-013-170/+104
| |\ \ \
| | * \ \ Merge pull request #966 from YosysHQ/clifford/fix956Clifford Wolf2019-04-301-1/+1
| | |\ \ \ | | | | | | | | | | | | Drive dangling wires with init attr with their init value
| | | * | | Add handling of init attributes in "opt_expr -undriven"Clifford Wolf2019-04-301-1/+1
| | | |/ / | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * | | Refactor synth_xilinx to auto-generate docEddie Hung2019-04-261-153/+95
| | | | |
| | * | | Cleanup ice40Eddie Hung2019-04-261-4/+6
| | |/ /
| * | | WIPEddie Hung2019-04-281-36/+22
| | | |
| * | | Move neg-pol to pos-pol mapping from ff_map to cells_map.vEddie Hung2019-04-282-9/+12
| | | |
| * | | Revert synth_xilinx 'fine' label more to how it used to be...Eddie Hung2019-04-261-21/+40
| | | |
* | | | Fix spacingEddie Hung2019-04-261-4/+4
| | | |
* | | | Apparently, this reduces number of MUXCY/XORCYEddie Hung2019-04-261-10/+9
| | | |
* | | | 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
| | |
* | | Missing newlineEddie Hung2019-04-261-1/+1
| | |
* | | Cleanup supersededEddie Hung2019-04-251-11/+1
| | |
* | | bitblast_shiftx -> split_shiftxEddie Hung2019-04-251-2/+2
| | |
* | | synth_xilinx to call bitblast_shiftxEddie Hung2019-04-251-1/+4
| | |
* | | Add -nocarry option to synth_xilinxEddie Hung2019-04-241-5/+14
| | |
* | | 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-2211-38/+446
|\ \ \ | | |/ | |/|
| * | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-2212-29/+488
| |\ \
| * | | Convert to use #945Eddie Hung2019-04-212-9/+3
| | | |
| * | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-202-10/+12
| |\ \ \
| * | | | ABC_FLOPS -> ABC_MODEL -- only whitebox if ABC_MODEL setEddie Hung2019-04-192-4/+7
| | | | |
| * | | | Make SB_DFF whiteboxEddie Hung2019-04-193-3/+3
| | | | |
| * | | | Fix SB_DFF comb modelEddie Hung2019-04-182-3/+3
| | | | |
| * | | | Missing close bracketEddie Hung2019-04-181-1/+1
| | | | |
| * | | | Annotate SB_DFF* with abc_flop and abc_box_idEddie Hung2019-04-181-22/+49
| | | | |