projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge pull request #2480 from YosysHQ/dave/nexus-lram
2020-12-07
David Shah
nexus: Add LRAM inference
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-12-02
David Shah
Merge pull request #2467 from YosysHQ/dave/nexus-carry-fix
commit
|
commitdiff
|
tree
2020-12-02
David Shah
nexus: More efficient CO mapping
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-11-20
David Shah
nexus: DSP inference support
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-11-18
David Shah
nexus: Add DSP simulation model
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-10-22
David Shah
nexus: Add make_transp to BRAMs
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-10-15
David Shah
synth_nexus: Initial implementation
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-10-01
David Shah
Update .gitignore
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-05-12
David Shah
ecp5: Add missing SERDES parameters
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-04-25
David Shah
cxxrtl: Round up constant width
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-04-21
David Shah
sim: Fix handling of constant-connected cell inputs...
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-04-17
David Shah
qbfsat: Fix illegal use of 'stdout' identifier
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-04-16
David Shah
ecp5: Force SIGNED ports to be 1 bit
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-04-16
David Shah
Merge pull request #1943 from YosysHQ/dave/fix-1919
commit
|
commitdiff
|
tree
2020-04-16
David Shah
ast: Fix handling of identifiers in the global scope
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-04-15
David Shah
Merge pull request #1897 from YosysHQ/dave/bram-rejection-fix
commit
|
commitdiff
|
tree
2020-04-14
David Shah
cxxrtl: Fix handling of unclocked memory read ports
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-04-12
David Shah
Merge pull request #1907 from YosysHQ/dave/fix-1906
commit
|
commitdiff
|
tree
2020-04-12
David Shah
verilog: Fix write to deleted object
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-04-10
David Shah
memory_bram: Fix ignorance of valid, matched rules
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-04-01
David Shah
Merge pull request #1844 from YosysHQ/dave/gen-source-loc
commit
|
commitdiff
|
tree
2020-04-01
David Shah
verilog: Add location info for generate constructs
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-03-21
David Shah
Merge pull request #1794 from YosysHQ/dave/mince-abc9-fix
commit
|
commitdiff
|
tree
2020-03-20
David Shah
Add test for abc9+mince issue
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-03-20
David Shah
ice40: Map unmapped 'mince' DFFs to gate level
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-03-15
David Shah
Merge pull request #1773 from smunaut/fix_spram_model
commit
|
commitdiff
|
tree
2020-03-10
David Shah
Merge pull request #1753 from YosysHQ/dave/abc9-speedup
commit
|
commitdiff
|
tree
2020-03-10
David Shah
Merge pull request #1721 from YosysHQ/dave/tribuf-unused
commit
|
commitdiff
|
tree
2020-03-09
David Shah
Add ScriptPass::run_nocheck and use for abc9
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-03-04
David Shah
deminout: Don't demote inouts with unused bits
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-02-02
David Shah
Merge pull request #1516 from YosysHQ/dave/dotstar
commit
|
commitdiff
|
tree
2020-02-02
David Shah
Update CHANGELOG and README
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-02-02
David Shah
sv: Improve handling of wildcard port connections
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-02-02
David Shah
sv: More tests for wildcard port connections
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-02-02
David Shah
hierarchy: Correct handling of wildcard port connections...
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-02-02
David Shah
sv: Add tests for wildcard port connections
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-02-02
David Shah
hierarchy: Resolve SV wildcard port connections
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-02-02
David Shah
sv: Add lexing and parsing of .* (wildcard port conns)
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-02-02
David Shah
Merge pull request #1647 from YosysHQ/dave/sprintf
commit
|
commitdiff
|
tree
2020-02-02
David Shah
Merge pull request #1657 from YosysHQ/dave/xilinx-dsp...
commit
|
commitdiff
|
tree
2020-02-01
David Shah
xilinx_dsp: Add multonly scratchpad var to bypass
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-01-28
David Shah
opt_reduce: Call check() per run rather than per optimised...
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-01-19
David Shah
ast: Add support for $sformatf system function
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2020-01-18
David Shah
Merge pull request #1602 from niklasnisbeth/ice40-init...
commit
|
commitdiff
|
tree
2019-12-27
David Shah
Merge pull request #1598 from YosysHQ/revert-1588-eddie...
commit
|
commitdiff
|
tree
2019-12-27
David Shah
Revert "write_xaiger: only instantiate each whitebox...
commit
|
commitdiff
|
tree
2019-12-18
David Shah
Merge pull request #1563 from YosysHQ/dave/async-prld
commit
|
commitdiff
|
tree
2019-12-11
David Shah
Merge pull request #1564 from ZirconiumX/intel_housekeeping
commit
|
commitdiff
|
tree
2019-12-07
David Shah
ecp5: Add support for mapping PRLD FFs
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-12-02
David Shah
Merge pull request #1542 from YosysHQ/dave/abc9-loop-fix
commit
|
commitdiff
|
tree
2019-12-01
David Shah
abc9: Fix breaking of SCCs
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-11-22
David Shah
Update CHANGELOG and README
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-11-21
David Shah
sv: Add tests for SV always types
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-11-21
David Shah
proc_dlatch: Add error handling for incorrect always_...
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-11-21
David Shah
sv: Correct parsing of always_comb, always_ff and always_latch
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-11-18
David Shah
memory_collect: Copy attr from RTLIL::Memory to cell
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-11-15
David Shah
ecp5: Use new autoname pass for better cell/net names
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-11-14
David Shah
wreduce: Don't trim zeros or sext when not matching...
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-10-24
David Shah
Merge pull request #1455 from YosysHQ/dave/ultrascaleplus
commit
|
commitdiff
|
tree
2019-10-23
David Shah
ice40: Add post-pnr ICESTORM_RAM model and fix FFs
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-10-23
David Shah
ice40: Support for post-pnr timing simulation
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-10-23
David Shah
xilinx: Add URAM288 mapping for xcup
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-10-23
David Shah
xilinx: Add support for UltraScale[+] BRAM mapping
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-10-20
David Shah
ecp5: Pass -nomfs to abc9
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-10-14
David Shah
Merge pull request #1446 from YosysHQ/dave/ecp5-ioff
commit
|
commitdiff
|
tree
2019-10-11
David Shah
ecp5: Add ECLKBRIDGECS blackbox
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-10-10
David Shah
ecp5: Add attrmvcp to copy syn_useioff to driving FF
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-10-10
David Shah
ecp5: Set syn_useioff on IO FFs to enable packing
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-10-03
David Shah
frontends/ast: code style
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-10-03
David Shah
sv: Improve tests
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-10-03
David Shah
sv: Fix typedefs in blocks
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-10-03
David Shah
sv: Disambiguate interface ports
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-10-03
David Shah
Update CHANGELOG and README
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-10-03
David Shah
sv: Add test scripts for typedefs
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-10-03
David Shah
sv: Fix memories of typedefs
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-10-03
David Shah
sv: Add %expect
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-10-03
David Shah
sv: Add support for memories of a typedef
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-10-03
David Shah
sv: Add support for memory typedefs
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-10-03
David Shah
sv: Fix typedefs in packages
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-10-03
David Shah
sv: Fix typedef parameters
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-10-03
David Shah
sv: Switch parser to glr, prep for typedef
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-10-03
David Shah
Merge pull request #1425 from YosysHQ/dave/ecp5_pdp16
commit
|
commitdiff
|
tree
2019-10-01
David Shah
ecp5: Fix shuffle_enable port
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-10-01
David Shah
ecp5: Add support for mapping 36-bit wide PDP BRAMs
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-09-12
David Shah
Merge pull request #1370 from YosysHQ/dave/equiv_opt_multiclock
commit
|
commitdiff
|
tree
2019-09-11
David Shah
Add equiv_opt -multiclock
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-09-11
David Shah
Merge pull request #1362 from xobs/smtbmc-msvc2-build...
commit
|
commitdiff
|
tree
2019-09-01
David Shah
Merge pull request #1346 from mmicko/fix_ecp5_cells_sim
commit
|
commitdiff
|
tree
2019-08-31
David Shah
ecp5_gsr: Fix typo
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-08-30
David Shah
Merge branch 'master' into xc7dsp
commit
|
commitdiff
|
tree
2019-08-30
David Shah
Merge pull request #1343 from whitequark/diamond-ffs
commit
|
commitdiff
|
tree
2019-08-30
David Shah
ecp5: Add simulation equivalence check for Diamond...
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-08-28
David Shah
Merge pull request #1332 from YosysHQ/dave/ecp5gsr
commit
|
commitdiff
|
tree
2019-08-27
David Shah
ecp5: Add GSR support
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-08-13
David Shah
xilinx: Rework labels for faster Verilator testing
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-08-10
David Shah
Revert "Wrap SB_LUT+SB_CARRY into $__ICE40_CARRY_WRAPPER"
commit
|
commitdiff
|
tree
2019-08-08
David Shah
ecp5: Replace '-dsp' with inverse logic '-nodsp' to...
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-08-08
David Shah
ecp5: Bring up to date with mul2dsp changes
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
2019-08-08
David Shah
Merge branch 'xc7dsp' of github.com:YosysHQ/yosys into...
commit
|
commitdiff
|
tree
2019-08-08
David Shah
DSP48E1 sim model: add SIMD tests
Signed-off-by:
David Shah
<dave@ds0.me>
commit
|
commitdiff
|
tree
next