projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
Fix typo
2019-03-07
Clifford Wolf
Add hack for handling SVA labels via Verific
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-07
Clifford Wolf
Add link to SF2 / igloo2 macro library guide
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-07
Clifford Wolf
Improvements in sf2 cells_sim.v
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-06
Clifford Wolf
Add sf2 techmap rules for more FF types
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-06
Clifford Wolf
Refactor SF2 iobuf insertion, Add clkint insertion
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-06
Clifford Wolf
Improve igloo2 example
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-06
Clifford Wolf
Improve igloo2 example
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-06
Clifford Wolf
Improvements in SF2 flow and demo
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-06
Clifford Wolf
Improve igloo2 exmaple
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-05
Clifford Wolf
Add missing newline
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-05
Clifford Wolf
Use "write_edif -pvector bra" for Xilinx EDIF files
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-04
Clifford Wolf
Improve igloo2 example
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-04
Clifford Wolf
Update igloo2 example to Libero v12.0
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-02
Clifford Wolf
Only run derive on blackbox modules when ports have...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-02
Clifford Wolf
Fix error for wire decl in always block, fixes #763
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-02
Clifford Wolf
Fix $global_clock handling vs autowire
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-02
Clifford Wolf
Fix $readmem[hb] for mem2reg memories, fixes #785
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-02
Clifford Wolf
Disable macOS builds in Travis
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-02
Larry Doolittle
Try again for passes/pmgen/ice40_dsp_pm.h rule
commit
|
commitdiff
|
tree
2019-03-01
Clifford Wolf
Minor improvements in README
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-01
Clifford Wolf
Use mem2reg on memories that only have constant-index...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-01
Clifford Wolf
Fix "write_edif -gndvccy"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-01
Clifford Wolf
Improve "read" error msg
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-01
Clifford Wolf
Hotfix for "make test"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-01
Clifford Wolf
Fix multiple issues in wreduce FF handling, fixes #835
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-28
Clifford Wolf
Add "write_verilog -siminit"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-28
Larry Doolittle
Reduce amount of trailing whitespace in code base
commit
|
commitdiff
|
tree
2019-02-28
Clifford Wolf
Fix pmgen for in-tree builds
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-28
Clifford Wolf
Fix pmgen for out-of-tree build
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-28
Clifford Wolf
Fix smt2 code generation for partially initialized...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-27
Clifford Wolf
Improvements in "supercover" pass
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-27
Clifford Wolf
Add "supercover" skeleton
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-26
Larry Doolittle
techlibs/greenpak4/cells_map.v: Harmonize whitespace...
commit
|
commitdiff
|
tree
2019-02-26
Larry Doolittle
Clean up some whitepsace outliers
commit
|
commitdiff
|
tree
2019-02-24
Clifford Wolf
Minor changes ontop of 71bcc4c: Remove hierarchy warning...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-24
Clifford Wolf
Cleanups in ARST handling in wreduce
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-24
Clifford Wolf
Fix handling of defparam for when default_nettype is...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-24
Clifford Wolf
Check if Verific was built with DB_PRESERVE_INITIAL_VALUE
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-21
Clifford Wolf
Fix Travis
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-21
Clifford Wolf
Hotfix for 4c82ddf
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-21
Clifford Wolf
Fix typo in passes/pmgen/README.md
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-21
Clifford Wolf
Fixes related to handling of autowires and upto-ranges...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-21
Clifford Wolf
Fix handling of expression width in $past, fixes #810
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-21
Clifford Wolf
Fix segfault in printing of some internal error messages
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-21
Clifford Wolf
Rename "yosys -U" to "yosys -P" to avoid confusion...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-21
Clifford Wolf
Rename "yosys -D" to "yosys -U", add "yosys -D" with...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-21
Clifford Wolf
Fix opt_rmdff handling of $_DFFSR_???_ and $_DLATCHSR_...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-21
Clifford Wolf
Bugfix in ice40_dsp
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-20
Clifford Wolf
Add ice40 test_dsp_map test case generator
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-20
Clifford Wolf
Add "synth_ice40 -dsp"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-20
Clifford Wolf
Add FF support to wreduce
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-20
Clifford Wolf
Improve iCE40 SB_MAC16 model
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-20
Clifford Wolf
Detect and reject cases that do not map well to iCE40...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-19
Clifford Wolf
Add first draft of functional SB_MAC16 model
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-17
Clifford Wolf
Add actual DSP inference to ice40_dsp pass
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-17
Clifford Wolf
Merge branch 'master' of github.com:YosysHQ/yosys into...
commit
|
commitdiff
|
tree
2019-02-13
Clifford Wolf
Fix sign handling of real constants
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-06
Clifford Wolf
Add missing blackslash-to-slash convertion to smtio...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-27
Clifford Wolf
Merge branch 'whitequark-write_verilog_keyword'
commit
|
commitdiff
|
tree
2019-01-27
Clifford Wolf
Remove asicworld tests for (unsupported) switch-level...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-17
Clifford Wolf
Cleanups in igloo2 example design
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-17
Clifford Wolf
Add SF2 IO buffer insertion
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-17
Clifford Wolf
Improve Igloo2 example
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-17
Clifford Wolf
Add "synth_sf2 -vlog", fix "synth_sf2 -edif"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-17
Clifford Wolf
Add "write_edif -gndvccy"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-15
Clifford Wolf
Progress in pmgen
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-15
Clifford Wolf
Progress in pmgen, add pmgen README
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-15
Clifford Wolf
Fix pmgen "reject" statement
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-15
Clifford Wolf
Progress in pmgen
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-15
Clifford Wolf
Progress in pmgen
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-15
Clifford Wolf
Progress in pmgen
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-15
Clifford Wolf
Add mockup .pmg (pattern matcher generator) file
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-15
Clifford Wolf
Add optional nullstr argument to log_id()
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-15
Clifford Wolf
Fix handling of $shiftx in Verilog back-end
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-08
Clifford Wolf
Improve igloo2 example
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-07
Clifford Wolf
Fix typo in manual
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-07
Clifford Wolf
Bugfix in $memrd sharing
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-07
Clifford Wolf
Switch "bugpoint" from system() to run_command()
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-05
Clifford Wolf
Add skeleton Yosys-Libero igloo2 example project
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-05
Clifford Wolf
Bugfix in Verilog string handling
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-04
Clifford Wolf
Remove -m32 Verific eval lib build instructions
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-04
Clifford Wolf
Update Verific default path
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-02
Clifford Wolf
Merge branch 'master' of github.com:YosysHQ/yosys
commit
|
commitdiff
|
tree
2019-01-02
Clifford Wolf
Improve VerificImporter support for writes to asymmetric...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-02
Clifford Wolf
Fix VerificImporter asymmetric memories error message
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-12-31
Clifford Wolf
Fix handling of (* keep *) wires in wreduce
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-12-29
Larry Doolittle
Fix 7 instances of add_share_file to add_gen_share_file
commit
|
commitdiff
|
tree
2018-12-29
Larry Doolittle
Squelch a little more trailing whitespace
commit
|
commitdiff
|
tree
2018-12-23
Clifford Wolf
Add "read_ilang -[no]overwrite"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-12-23
Clifford Wolf
Merge branch 'master' of github.com:YosysHQ/yosys
commit
|
commitdiff
|
tree
2018-12-18
Clifford Wolf
Minor style fixes
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-12-18
Clifford Wolf
Fix segfault in AST simplify
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-12-18
Clifford Wolf
Improve src tagging (using names and attrs) of cells...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Rename "fine:" label to "map:" in "synth_ice40"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Fix equiv_opt indenting
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-12-10
Clifford Wolf
Add yosys-smtbmc support for btor witness
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-12-08
Clifford Wolf
Add "yosys-smtbmc --btorwit" skeleton
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-12-08
Clifford Wolf
Fix btor init value handling
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-12-06
Clifford Wolf
Add missing .gitignore
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-12-06
Clifford Wolf
Bugfix in opt_expr handling of a<0 and a>=0
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
next