projects / yosys.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Use SVA label in smt export if available
2019-03-07 Clifford WolfUse SVA label in smt export if available
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-07 Clifford WolfAdd support for SVA labels in read_verilog
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-07 Clifford WolfAdd hack for handling SVA labels via Verific
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-07 Clifford WolfAdd link to SF2 / igloo2 macro library guide
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-07 Clifford WolfImprovements in sf2 cells_sim.v
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-06 Clifford WolfAdd sf2 techmap rules for more FF types
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-06 Clifford WolfRefactor SF2 iobuf insertion, Add clkint insertion
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-06 Clifford WolfImprove igloo2 example
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-06 Clifford WolfImprove igloo2 example
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-06 Clifford WolfImprovements in SF2 flow and demo
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-06 Clifford WolfImprove igloo2 exmaple
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-05 Clifford WolfMerge pull request #842 from litghost/merge_upstream
 commit | commitdiff | tree
2019-03-05 Clifford WolfMerge pull request #850 from daveshah1/ecp5_warn_conflict
 commit | commitdiff | tree
2019-03-05 Clifford WolfAdd missing newline
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-05 Clifford WolfMerge pull request #851 from kprasadvnsi/master
 commit | commitdiff | tree
2019-03-05 Clifford WolfMerge pull request #852 from ucb-bar/firrtlfixes
 commit | commitdiff | tree
2019-03-05 Clifford WolfUse "write_edif -pvector bra" for Xilinx EDIF files
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-04 Clifford WolfImprove igloo2 example
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-04 Clifford WolfUpdate igloo2 example to Libero v12.0
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-03 Clifford WolfMerge pull request #848 from YosysHQ/clifford/fix763
 commit | commitdiff | tree
2019-03-03 Clifford WolfMerge pull request #849 from YosysHQ/clifford/dynports
 commit | commitdiff | tree
2019-03-02 Clifford WolfOnly run derive on blackbox modules when ports have...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-02 Clifford WolfFix error for wire decl in always block, fixes #763
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-02 Clifford WolfFix $global_clock handling vs autowire
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-02 Clifford WolfMerge pull request #847 from YosysHQ/clifford/fix785
 commit | commitdiff | tree
2019-03-02 Clifford WolfFix $readmem[hb] for mem2reg memories, fixes #785
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-02 Clifford WolfMerge pull request #843 from YosysHQ/clifford/mem2regconstidx
 commit | commitdiff | tree
2019-03-02 Clifford WolfMerge pull request #845 from YosysHQ/clifford/travisnomacos
 commit | commitdiff | tree
2019-03-02 Clifford WolfDisable macOS builds in Travis
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-01 Clifford WolfMinor improvements in README
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-01 Clifford WolfUse mem2reg on memories that only have constant-index...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-01 Clifford WolfFix "write_edif -gndvccy"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-01 Clifford WolfMerge pull request #841 from mmicko/master
 commit | commitdiff | tree
2019-03-01 Clifford WolfImprove "read" error msg
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-01 Clifford WolfMerge pull request #836 from elmsfu/ice40_2bit_ram_rw_mode
 commit | commitdiff | tree
2019-03-01 Clifford WolfHotfix for "make test"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-01 Clifford WolfMerge pull request #837 from YosysHQ/clifford/fix835
 commit | commitdiff | tree
2019-03-01 Clifford WolfFix multiple issues in wreduce FF handling, fixes #835
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-28 Clifford WolfMerge pull request #834 from YosysHQ/clifford/siminit
 commit | commitdiff | tree
2019-02-28 Clifford WolfAdd "write_verilog -siminit"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-28 Clifford WolfFix pmgen for in-tree builds
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-28 Clifford WolfMerge pull request #794 from daveshah1/ecp5improve
 commit | commitdiff | tree
2019-02-28 Clifford WolfMerge pull request #827 from ucb-bar/firrtlfixes
 commit | commitdiff | tree
2019-02-28 Clifford WolfFix pmgen for out-of-tree build
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-28 Clifford WolfMerge pull request #833 from YosysHQ/clifford/fix831
 commit | commitdiff | tree
2019-02-28 Clifford WolfFix smt2 code generation for partially initialized...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-28 Clifford WolfMerge pull request #832 from YosysHQ/supercover
 commit | commitdiff | tree
2019-02-27 Clifford WolfImprovements in "supercover" pass
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-27 Clifford WolfAdd "supercover" skeleton
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-24 Clifford WolfMinor changes ontop of 71bcc4c: Remove hierarchy warning...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-24 Clifford WolfMerge pull request #812 from ucb-bar/arrayhierarchyfixes
 commit | commitdiff | tree
2019-02-24 Clifford WolfCleanups in ARST handling in wreduce
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-24 Clifford WolfMerge pull request #824 from litghost/fix_reduce_on_ff
 commit | commitdiff | tree
2019-02-24 Clifford WolfFix handling of defparam for when default_nettype is...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-24 Clifford WolfCheck if Verific was built with DB_PRESERVE_INITIAL_VALUE
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-22 Clifford WolfMerge pull request #819 from YosysHQ/clifford/optd
 commit | commitdiff | tree
2019-02-22 Clifford WolfMerge pull request #820 from YosysHQ/clifford/fix810
 commit | commitdiff | tree
2019-02-22 Clifford WolfMerge pull request #740 from daveshah1/improve_dress
 commit | commitdiff | tree
2019-02-21 Clifford WolfFix Travis
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-21 Clifford WolfHotfix for 4c82ddf
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-21 Clifford WolfMerge pull request #822 from litghost/expand_setundef
 commit | commitdiff | tree
2019-02-21 Clifford WolfMerge pull request #818 from YosysHQ/clifford/dffsrfix
 commit | commitdiff | tree
2019-02-21 Clifford WolfMerge pull request #786 from YosysHQ/pmgen
 commit | commitdiff | tree
2019-02-21 Clifford WolfFix typo in passes/pmgen/README.md
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-21 Clifford WolfMerge pull request #821 from eddiehung/dff_init
 commit | commitdiff | tree
2019-02-21 Clifford WolfFixes related to handling of autowires and upto-ranges...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-21 Clifford WolfFix handling of expression width in $past, fixes #810
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-21 Clifford WolfFix segfault in printing of some internal error messages
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-21 Clifford WolfRename "yosys -U" to "yosys -P" to avoid confusion...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-21 Clifford WolfRename "yosys -D" to "yosys -U", add "yosys -D" with...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-21 Clifford WolfFix opt_rmdff handling of $_DFFSR_???_ and $_DLATCHSR_...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-21 Clifford WolfBugfix in ice40_dsp
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-20 Clifford WolfAdd ice40 test_dsp_map test case generator
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-20 Clifford WolfAdd "synth_ice40 -dsp"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-20 Clifford WolfAdd FF support to wreduce
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-20 Clifford WolfImprove iCE40 SB_MAC16 model
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-20 Clifford WolfDetect 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 WolfAdd first draft of functional SB_MAC16 model
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-17 Clifford WolfAdd actual DSP inference to ice40_dsp pass
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-17 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys into...
commit | commitdiff | tree
2019-02-17 Clifford WolfMerge pull request #811 from ucb-bar/firrtlfixes
 commit | commitdiff | tree
2019-02-13 Clifford WolfFix sign handling of real constants
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-12 Clifford WolfMerge pull request #802 from whitequark/write_verilog_async_...
commit | commitdiff | tree
2019-02-12 Clifford WolfMerge pull request #806 from daveshah1/fsm_opt_no_reset
 commit | commitdiff | tree
2019-02-06 Clifford WolfAdd missing blackslash-to-slash convertion to smtio...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-27 Clifford WolfMerge pull request #798 from mmicko/master
 commit | commitdiff | tree
2019-01-27 Clifford WolfMerge pull request #800 from whitequark/write_verilog_tribuf
 commit | commitdiff | tree
2019-01-27 Clifford WolfMerge branch 'whitequark-write_verilog_keyword'
 commit | commitdiff | tree
2019-01-27 Clifford WolfRemove asicworld tests for (unsupported) switch-level...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-19 Clifford WolfMerge pull request #793 from whitequark/proc_clean_fix_fully_def
 commit | commitdiff | tree
2019-01-17 Clifford WolfCleanups in igloo2 example design
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-17 Clifford WolfAdd SF2 IO buffer insertion
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-17 Clifford WolfImprove Igloo2 example
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-17 Clifford WolfAdd "synth_sf2 -vlog", fix "synth_sf2 -edif"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-17 Clifford WolfAdd "write_edif -gndvccy"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-15 Clifford WolfProgress in pmgen
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-15 Clifford WolfProgress in pmgen, add pmgen README
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-15 Clifford WolfFix pmgen "reject" statement
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-15 Clifford WolfProgress in pmgen
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-15 Clifford WolfProgress in pmgen
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
next