index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
frontends
/
verific
Commit message (
Expand
)
Author
Age
Files
Lines
*
verific: Use new value change logic also for $stable of wide signals.
Jannis Harder
2022-05-11
1
-7
/
+29
*
Merge pull request #3305 from jix/sva_value_change_logic
Jannis Harder
2022-05-09
1
-10
/
+25
|
\
|
*
verific: Improve logic generated for SVA value change expressions
Jannis Harder
2022-05-09
1
-10
/
+25
*
|
verific: Fix conditions of SVAs with explicit clocks within procedures
Jannis Harder
2022-05-03
3
-5
/
+16
|
/
*
Ignore merging past ffs that we are not properly merging
Miodrag Milanovic
2022-04-29
1
-0
/
+1
*
verific: allow memories to be inferred in loops (vhdl)
Miodrag Milanovic
2022-04-18
1
-0
/
+1
*
verific: allow memories to be inferred in loops
N. Engelhardt
2022-04-15
1
-0
/
+1
*
Preserve internal wires for external nets
Miodrag Milanovic
2022-04-01
1
-1
/
+1
*
Fix valgrind tests when using verific
Miodrag Milanovic
2022-03-30
1
-0
/
+8
*
Properly mark modules imported
Miodrag Milanovic
2022-03-26
1
-2
/
+2
*
Import verific netlist in consistent order
Miodrag Milanovic
2022-03-25
2
-23
/
+27
*
Remove quotes if any from attribute
Miodrag Milanovic
2022-02-16
1
-1
/
+4
*
Add ability to override verilog mode for verific -f command
Miodrag Milanovic
2022-02-09
1
-2
/
+44
*
Use bmux for NTO1MUX
Miodrag Milanovic
2022-02-02
1
-16
/
+2
*
Add YOSYS to the implicitly defined verilog macros in verific
Claire Xenia Wolf
2021-12-13
1
-1
/
+2
*
Merge pull request #3102 from YosysHQ/claire/enumxz
Miodrag Milanović
2021-12-10
1
-1
/
+1
|
\
|
*
Fix verific import of enum values with x and/or z
Claire Xenia Wolf
2021-12-10
1
-1
/
+1
*
|
Update verific.cc
Claire Xen
2021-12-10
1
-4
/
+7
*
|
If direction NONE use that from first bit
Miodrag Milanovic
2021-12-08
1
-0
/
+7
|
/
*
Make sure cell names are unique for wide operators
Miodrag Milanovic
2021-12-03
1
-2
/
+2
*
No need to alocate more memory than used
Miodrag Milanovic
2021-11-10
1
-1
/
+0
*
Add "verific -cfg" command
Claire Xenia Wolf
2021-11-01
1
-2
/
+75
*
Fix verific gclk handling for async-load FFs
Claire Xenia Wolf
2021-10-31
1
-12
/
+67
*
Enable async load dff emit by default in Verific
Miodrag Milanovic
2021-10-27
1
-1
/
+1
*
Revert "Compile option for enabling async load verific support"
Miodrag Milanovic
2021-10-27
1
-4
/
+1
*
Compile option for enabling async load verific support
Miodrag Milanovic
2021-10-25
1
-1
/
+4
*
Fix verific.cc PRIM_DLATCH handling
Claire Xenia Wolf
2021-10-21
1
-1
/
+7
*
Initial Verific impoter support for {PRIM,WIDE_OPER}_DLATCH{,RS}
Claire Xenia Wolf
2021-10-21
1
-4
/
+55
*
Option to disable verific VHDL support
Miodrag Milanovic
2021-10-20
2
-11
/
+45
*
Support PRIM_BUFIF1 primitive
Miodrag Milanovic
2021-10-14
1
-2
/
+2
*
Merge pull request #3039 from YosysHQ/claire/verific_aldff
Claire Xen
2021-10-11
2
-1
/
+91
|
\
|
*
Add Verific adffe/dffsre/aldffe FIXMEs
Claire Xenia Wolf
2021-10-11
1
-0
/
+3
|
*
Fixes and add comments for open FIXME items
Claire Xenia Wolf
2021-10-08
1
-1
/
+34
|
*
Add support for $aldff flip-flops to verific importer
Claire Xenia Wolf
2021-10-08
2
-1
/
+55
*
|
Import module attributes from Verific
Miodrag Milanovic
2021-10-10
1
-0
/
+1
|
/
*
verific set db_infer_set_reset_registers
Miodrag Milanovic
2021-10-04
1
-0
/
+1
*
update required verific version
Miodrag Milanovic
2021-09-02
1
-1
/
+1
*
Make Verific extensions optional
Miodrag Milanovic
2021-08-20
1
-1
/
+6
*
Require latest verific
Miodrag Milanovic
2021-08-02
1
-1
/
+1
*
Update to latest verific
Miodrag Milanovic
2021-07-21
1
-3
/
+3
*
Update to latest Verific with extensions for initial assertions
Miodrag Milanovic
2021-07-09
1
-14
/
+9
*
Add additional help
Miodrag Milanovic
2021-07-05
1
-0
/
+22
*
Support command files in Verific
Miodrag Milanovic
2021-06-16
1
-0
/
+39
*
Fixing old e-mail addresses and deadnames
Claire Xenia Wolf
2021-06-08
3
-3
/
+3
*
Update README
Claire Xen
2021-03-04
1
-4
/
+4
*
Merge pull request #2574 from dh73/master
Claire Xen
2021-02-15
1
-0
/
+5
|
\
|
*
Accept disable case for SVA liveness properties.
Diego H
2021-02-04
1
-0
/
+5
*
|
Ganulate Verific support
Miodrag Milanovic
2021-02-12
1
-8
/
+16
|
/
*
Require latest Verific build
Miodrag Milanovic
2021-01-30
1
-1
/
+1
*
Switch verific bindings from Symbiotic EDA flavored Verific to YosysHQ flavor...
Claire Xenia Wolf
2021-01-20
1
-18
/
+18
[next]