projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge pull request #3305 from jix/sva_value_change_logic
[yosys.git]
/
frontends
/
verific
/
verific.cc
2022-05-09
Jannis Harder
Merge pull request #3305 from jix/sva_value_change_logic
blob
|
commitdiff
|
raw
2022-05-09
Jannis Harder
Merge pull request #3297 from jix/sva_nested_clk_else
blob
|
commitdiff
|
raw
|
diff to current
2022-05-09
Jannis Harder
verific: Improve logic generated for SVA value change...
blob
|
commitdiff
|
raw
|
diff to current
2022-05-03
Jannis Harder
verific: Fix conditions of SVAs with explicit clocks...
blob
|
commitdiff
|
raw
|
diff to current
2022-04-29
Miodrag Milanović
Merge pull request #3294 from YosysHQ/micko/verific_mer...
blob
|
commitdiff
|
raw
|
diff to current
2022-04-29
Miodrag Milanovic
Ignore merging past ffs that we are not properly merging
blob
|
commitdiff
|
raw
|
diff to current
2022-04-25
Jannis Harder
Merge pull request #3257 from jix/tribuf-formal
blob
|
commitdiff
|
raw
|
diff to current
2022-04-18
Miodrag Milanović
Merge pull request #3280 from YosysHQ/micko/fix_readaiw
blob
|
commitdiff
|
raw
|
diff to current
2022-04-18
Miodrag Milanovic
verific: allow memories to be inferred in loops (vhdl)
blob
|
commitdiff
|
raw
|
diff to current
2022-04-18
Miodrag Milanović
Merge pull request #3282 from nakengelhardt/verific_loo...
blob
|
commitdiff
|
raw
|
diff to current
2022-04-15
N. Engelhardt
verific: allow memories to be inferred in loops
blob
|
commitdiff
|
raw
|
diff to current
2022-04-01
Miodrag Milanović
Merge pull request #3262 from YosysHQ/micko/verific_hiernet
blob
|
commitdiff
|
raw
|
diff to current
2022-04-01
Miodrag Milanovic
Preserve internal wires for external nets
blob
|
commitdiff
|
raw
|
diff to current
2022-03-30
Miodrag Milanović
Merge pull request #3259 from YosysHQ/micko/verific_val...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-30
Miodrag Milanovic
Fix valgrind tests when using verific
blob
|
commitdiff
|
raw
|
diff to current
2022-03-30
Miodrag Milanović
Merge pull request #3250 from YosysHQ/micko/verific_con...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-28
Lofty
Merge pull request #3194 from Ravenslofty/abc9-flow3mfs
blob
|
commitdiff
|
raw
|
diff to current
2022-03-26
Miodrag Milanovic
Properly mark modules imported
blob
|
commitdiff
|
raw
|
diff to current
2022-03-25
Miodrag Milanovic
Import verific netlist in consistent order
blob
|
commitdiff
|
raw
|
diff to current
2022-03-14
Claire Xen
Merge pull request #3213 from antonblanchard/abc-typo
blob
|
commitdiff
|
raw
|
diff to current
2022-03-07
Miodrag Milanović
Merge pull request #3210 from rqou/json-signed
blob
|
commitdiff
|
raw
|
diff to current
2022-03-04
Miodrag Milanović
Merge pull request #3186 from nakengelhardt/smtbmc_sby_...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-04
Miodrag Milanović
Merge pull request #3206 from YosysHQ/micko/quote_remove
blob
|
commitdiff
|
raw
|
diff to current
2022-02-16
Miodrag Milanovic
Remove quotes if any from attribute
blob
|
commitdiff
|
raw
|
diff to current
2022-02-11
Miodrag Milanović
Merge pull request #3164 from zachjs/fix-ast-warn
blob
|
commitdiff
|
raw
|
diff to current
2022-02-11
Claire Xen
Merge branch 'master' into clk2ff-better-names
blob
|
commitdiff
|
raw
|
diff to current
2022-02-11
Claire Xen
Merge pull request #2019 from boqwxp/glift
blob
|
commitdiff
|
raw
|
diff to current
2022-02-09
Miodrag Milanović
Merge pull request #3193 from YosysHQ/micko/verific_f
blob
|
commitdiff
|
raw
|
diff to current
2022-02-09
Miodrag Milanovic
Add ability to override verilog mode for verific -f...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-07
Miodrag Milanović
Merge pull request #3185 from YosysHQ/micko/co_sim
blob
|
commitdiff
|
raw
|
diff to current
2022-02-02
Miodrag Milanović
Merge pull request #3183 from YosysHQ/micko/nto1mux
blob
|
commitdiff
|
raw
|
diff to current
2022-02-02
Miodrag Milanovic
Use bmux for NTO1MUX
blob
|
commitdiff
|
raw
|
diff to current
2021-12-13
Claire Xen
Merge pull request #3108 from YosysHQ/claire/verificdefs
blob
|
commitdiff
|
raw
|
diff to current
2021-12-13
Claire Xenia Wolf
Add YOSYS to the implicitly defined verilog macros...
blob
|
commitdiff
|
raw
|
diff to current
2021-12-10
Miodrag Milanović
Merge pull request #3102 from YosysHQ/claire/enumxz
blob
|
commitdiff
|
raw
|
diff to current
2021-12-10
Claire Xenia Wolf
Fix verific import of enum values with x and/or z
blob
|
commitdiff
|
raw
|
diff to current
2021-12-10
Miodrag Milanović
Merge pull request #3097 from YosysHQ/modport
blob
|
commitdiff
|
raw
|
diff to current
2021-12-10
Claire Xen
Update verific.cc
blob
|
commitdiff
|
raw
|
diff to current
2021-12-08
Miodrag Milanovic
If direction NONE use that from first bit
blob
|
commitdiff
|
raw
|
diff to current
2021-12-03
Miodrag Milanovic
Make sure cell names are unique for wide operators
blob
|
commitdiff
|
raw
|
diff to current
2021-11-10
Claire Xen
Merge pull request #3075 from YosysHQ/micko/verific_mem...
blob
|
commitdiff
|
raw
|
diff to current
2021-11-10
Miodrag Milanovic
No need to alocate more memory than used
blob
|
commitdiff
|
raw
|
diff to current
2021-11-05
Miodrag Milanović
Merge pull request #3067 from YosysHQ/aki/ci_update
blob
|
commitdiff
|
raw
|
diff to current
2021-11-01
Claire Xen
Merge pull request #3068 from YosysHQ/claire/verific_cfg
blob
|
commitdiff
|
raw
|
diff to current
2021-11-01
Claire Xenia Wolf
Add "verific -cfg" command
blob
|
commitdiff
|
raw
|
diff to current
2021-10-31
Claire Xen
Merge pull request #3066 from YosysHQ/claire/verific_gclk
blob
|
commitdiff
|
raw
|
diff to current
2021-10-31
Claire Xenia Wolf
Fix verific gclk handling for async-load FFs
blob
|
commitdiff
|
raw
|
diff to current
2021-10-27
Miodrag Milanović
Merge pull request #3063 from YosysHQ/micko/verific_aldff
blob
|
commitdiff
|
raw
|
diff to current
2021-10-27
Miodrag Milanovic
Enable async load dff emit by default in Verific
blob
|
commitdiff
|
raw
|
diff to current
2021-10-27
Miodrag Milanovic
Revert "Compile option for enabling async load verific...
blob
|
commitdiff
|
raw
|
diff to current
2021-10-25
Miodrag Milanovic
Compile option for enabling async load verific support
blob
|
commitdiff
|
raw
|
diff to current
2021-10-21
Claire Xen
Merge pull request #3057 from YosysHQ/claire/verific_la...
blob
|
commitdiff
|
raw
|
diff to current
2021-10-21
Claire Xenia Wolf
Fix verific.cc PRIM_DLATCH handling
blob
|
commitdiff
|
raw
|
diff to current
2021-10-21
Claire Xenia Wolf
Initial Verific impoter support for {PRIM,WIDE_OPER...
blob
|
commitdiff
|
raw
|
diff to current
2021-10-20
Miodrag Milanovic
Option to disable verific VHDL support
blob
|
commitdiff
|
raw
|
diff to current
2021-10-15
Claire Xen
Merge pull request #3044 from YosysHQ/micko/verific_bufif1
blob
|
commitdiff
|
raw
|
diff to current
2021-10-14
Miodrag Milanovic
Support PRIM_BUFIF1 primitive
blob
|
commitdiff
|
raw
|
diff to current
2021-10-11
Claire Xen
Merge pull request #3039 from YosysHQ/claire/verific_aldff
blob
|
commitdiff
|
raw
|
diff to current
2021-10-11
Claire Xenia Wolf
Add Verific adffe/dffsre/aldffe FIXMEs
blob
|
commitdiff
|
raw
|
diff to current
2021-10-11
Claire Xen
Merge pull request #3040 from YosysHQ/micko/split_modul...
blob
|
commitdiff
|
raw
|
diff to current
2021-10-11
Claire Xen
Merge pull request #3041 from YosysHQ/mmicko/module_attr
blob
|
commitdiff
|
raw
|
diff to current
2021-10-10
Miodrag Milanovic
Import module attributes from Verific
blob
|
commitdiff
|
raw
|
diff to current
2021-10-08
Claire Xenia Wolf
Fixes and add comments for open FIXME items
blob
|
commitdiff
|
raw
|
diff to current
2021-10-08
Claire Xenia Wolf
Add support for $aldff flip-flops to verific importer
blob
|
commitdiff
|
raw
|
diff to current
2021-10-04
Miodrag Milanovic
verific set db_infer_set_reset_registers
blob
|
commitdiff
|
raw
|
diff to current
2021-09-02
Miodrag Milanovic
update required verific version
blob
|
commitdiff
|
raw
|
diff to current
2021-08-20
Miodrag Milanović
Merge pull request #2973 from YosysHQ/micko/optional_ex...
blob
|
commitdiff
|
raw
|
diff to current
2021-08-20
Miodrag Milanovic
Make Verific extensions optional
blob
|
commitdiff
|
raw
|
diff to current
2021-08-02
Miodrag Milanovic
Require latest verific
blob
|
commitdiff
|
raw
|
diff to current
2021-07-21
Miodrag Milanovic
Update to latest verific
blob
|
commitdiff
|
raw
|
diff to current
2021-07-09
Miodrag Milanovic
Update to latest Verific with extensions for initial...
blob
|
commitdiff
|
raw
|
diff to current
2021-07-05
Claire Xen
Merge pull request #2835 from YosysHQ/verific_command
blob
|
commitdiff
|
raw
|
diff to current
2021-07-05
Miodrag Milanovic
Add additional help
blob
|
commitdiff
|
raw
|
diff to current
2021-06-16
Miodrag Milanovic
Support command files in Verific
blob
|
commitdiff
|
raw
|
diff to current
2021-06-09
Claire Xen
Merge pull request #2817 from YosysHQ/claire/fixemails
blob
|
commitdiff
|
raw
|
diff to current
2021-06-07
Claire Xenia Wolf
Fixing old e-mail addresses and deadnames
blob
|
commitdiff
|
raw
|
diff to current
2021-03-01
Claire Xen
Merge pull request #2523 from tomverbeure/define_synthesis
blob
|
commitdiff
|
raw
|
diff to current
2021-03-01
Claire Xen
Merge pull request #2524 from bkbncn/patch-1
blob
|
commitdiff
|
raw
|
diff to current
2021-02-25
whitequark
Merge pull request #2554 from hzeller/master
blob
|
commitdiff
|
raw
|
diff to current
2021-02-15
Claire Xen
Merge pull request #2574 from dh73/master
blob
|
commitdiff
|
raw
|
diff to current
2021-02-12
gatecat
Merge pull request #2585 from YosysHQ/dave/nexus-dotproduct
blob
|
commitdiff
|
raw
|
diff to current
2021-02-12
Miodrag Milanovic
Ganulate Verific support
blob
|
commitdiff
|
raw
|
diff to current
2021-02-04
whitequark
Merge pull request #2529 from zachjs/unnamed-genblk
blob
|
commitdiff
|
raw
|
diff to current
2021-02-03
whitequark
Merge pull request #2436 from dalance/fix_generate
blob
|
commitdiff
|
raw
|
diff to current
2021-01-30
Miodrag Milanovic
Require latest Verific build
blob
|
commitdiff
|
raw
|
diff to current
2021-01-28
Claire Xen
Merge pull request #2535 from Ravenslofty/scc-specify
blob
|
commitdiff
|
raw
|
diff to current
2021-01-26
whitequark
Merge pull request #2544 from modwizcode/fix-clock
blob
|
commitdiff
|
raw
|
diff to current
2021-01-25
whitequark
Merge pull request #2549 from pgadfort/support-multiple...
blob
|
commitdiff
|
raw
|
diff to current
2021-01-25
whitequark
Merge pull request #2550 from zachjs/macro-arg-spaces
blob
|
commitdiff
|
raw
|
diff to current
2021-01-20
Claire Xen
Merge pull request #2552 from YosysHQ/claire/yosyshq
blob
|
commitdiff
|
raw
|
diff to current
2021-01-20
Claire Xenia Wolf
Switch verific bindings from Symbiotic EDA flavored...
blob
|
commitdiff
|
raw
|
diff to current
2021-01-01
whitequark
Merge pull request #2480 from YosysHQ/dave/nexus-lram
blob
|
commitdiff
|
raw
|
diff to current
2020-12-02
whitequark
Merge pull request #2468 from whitequark/cxxrtl-assert
blob
|
commitdiff
|
raw
|
diff to current
2020-12-02
whitequark
Merge pull request #2469 from whitequark/cxxrtl-no-clk
blob
|
commitdiff
|
raw
|
diff to current
2020-12-02
whitequark
Merge pull request #2466 from whitequark/cxxrtl-reset
blob
|
commitdiff
|
raw
|
diff to current
2020-12-02
whitequark
Merge pull request #2456 from Zottel/master
blob
|
commitdiff
|
raw
|
diff to current
2020-12-02
whitequark
Merge pull request #2455 from gsomlo/gls-fedpkg-fixes
blob
|
commitdiff
|
raw
|
diff to current
2020-12-02
David Shah
Merge pull request #2467 from YosysHQ/dave/nexus-carry-fix
blob
|
commitdiff
|
raw
|
diff to current
2020-12-02
whitequark
Merge pull request #2446 from RobertBaruch/rtlil_format
blob
|
commitdiff
|
raw
|
diff to current
2020-12-02
Miodrag Milanovic
Bump required Verific version
blob
|
commitdiff
|
raw
|
diff to current
next