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
*
Improve Verific importer blackbox handling
Clifford Wolf
2018-10-07
1
-2
/
+14
*
Fix compiler warning in verific.cc
Clifford Wolf
2018-10-05
1
-0
/
+2
*
Add "verific -L <int>" option
Clifford Wolf
2018-09-04
3
-2
/
+16
*
Add "verific -work" help message
Clifford Wolf
2018-08-22
1
-0
/
+7
*
Add Verific -work parameter
Clifford Wolf
2018-08-22
1
-8
/
+18
*
Add "verific -set-<severity> <msg_id>.."
Clifford Wolf
2018-08-16
1
-14
/
+52
*
Verific workaround for VIPER ticket 13851
Clifford Wolf
2018-08-16
1
-0
/
+3
*
Merge pull request #591 from hzeller/virtual-override
Clifford Wolf
2018-08-15
1
-5
/
+5
|
\
|
*
Consistent use of 'override' for virtual methods in derived classes.
Henner Zeller
2018-07-20
1
-5
/
+5
*
|
Verific: Produce errors for instantiating unknown module
Clifford Wolf
2018-07-22
1
-0
/
+3
|
/
*
Fix handling of eventually properties in verific importer
Clifford Wolf
2018-07-17
1
-2
/
+4
*
Fix verific -vlog-incdir and -vlog-libdir handling
Clifford Wolf
2018-07-16
1
-2
/
+13
*
Fix "read -incdir"
Clifford Wolf
2018-07-16
1
-1
/
+1
*
Add "read -incdir"
Clifford Wolf
2018-07-16
1
-0
/
+19
*
Fix verific eventually handling
Clifford Wolf
2018-06-29
1
-6
/
+5
*
Add verific support for eventually properties
Clifford Wolf
2018-06-29
1
-5
/
+105
*
Add "verific -formal" and "read -formal"
Clifford Wolf
2018-06-29
1
-7
/
+15
*
Add "read -sv -D" support
Clifford Wolf
2018-06-28
1
-2
/
+25
*
Add "read -undef"
Clifford Wolf
2018-06-28
1
-0
/
+32
*
Add YOSYS_NOVERIFIC env variable for temporarily disabling verific
Clifford Wolf
2018-06-22
1
-22
/
+40
*
Add simplified "read" command, enable extnets in implicit Verific import
Clifford Wolf
2018-06-21
1
-0
/
+84
*
Add automatic verific import in hierarchy command
Clifford Wolf
2018-06-20
2
-0
/
+56
*
Add (* gclk *) attribute support
Clifford Wolf
2018-06-01
2
-0
/
+11
*
Add comment to VIPER #13453 work-around
Clifford Wolf
2018-05-28
1
-0
/
+1
*
Fix Verific handling of single-bit anyseq/anyconst wires
Clifford Wolf
2018-05-25
1
-2
/
+4
*
Fix VerificClocking for cases where Verific generates chains of PRIM_SVA_POSEDGE
Clifford Wolf
2018-05-24
1
-1
/
+1
*
Fix verific handling of anyconst/anyseq attributes
Clifford Wolf
2018-05-24
2
-16
/
+28
*
Fix handling of anyconst/anyseq attrs in VHDL code via Verific
Clifford Wolf
2018-05-15
1
-6
/
+6
*
Further improve handling of zero-length SVA consecutive repetition
Clifford Wolf
2018-05-05
1
-69
/
+108
*
Fix handling of zero-length SVA consecutive repetition
Clifford Wolf
2018-05-05
1
-26
/
+46
*
Add PRIM_HDL_ASSERTION support to Verific importer
Clifford Wolf
2018-04-07
1
-3
/
+19
*
Fix handling of $global_clocking in Verific
Clifford Wolf
2018-04-06
1
-1
/
+7
*
Add Verific anyseq/anyconst/allseq/allconst attribute support
Clifford Wolf
2018-04-06
1
-2
/
+36
*
Add "verific -autocover"
Clifford Wolf
2018-04-06
2
-5
/
+17
*
Set RAM runtime flags for Verific frontend
makaimann
2018-04-05
1
-0
/
+3
*
Remove left-over log_ping debug commands.. oops.
Clifford Wolf
2018-03-31
1
-4
/
+0
*
Fix handling of unclocked immediate assertions in Verific front-end
Clifford Wolf
2018-03-26
3
-17
/
+42
*
Update todo for more features to verificsva.cc
Clifford Wolf
2018-03-16
1
-3
/
+3
*
Update todo for more features to verificsva.cc
Clifford Wolf
2018-03-16
1
-0
/
+1
*
Add todo for more features to verificsva.cc
Clifford Wolf
2018-03-16
1
-8
/
+45
*
Improve import of memories via Verific
Clifford Wolf
2018-03-15
1
-16
/
+23
*
Fix handling of SV compilation units in Verific front-end
Clifford Wolf
2018-03-14
1
-28
/
+25
*
Fix SVA handling of NON_CONSECUTIVE_REPEAT and GOTO_REPEAT
Clifford Wolf
2018-03-10
1
-15
/
+72
*
Fix variable name typo in verificsva.cc
Clifford Wolf
2018-03-10
1
-2
/
+2
*
Add support for trivial SVA sequences and properties
Clifford Wolf
2018-03-10
1
-12
/
+102
*
Use Verific hier_tree component for elaboration
Clifford Wolf
2018-03-08
1
-0
/
+54
*
Fix Verific handling of "assert property (..);" in always block
Clifford Wolf
2018-03-07
3
-14
/
+60
*
Add "verific -import -V"
Clifford Wolf
2018-03-07
2
-6
/
+18
*
Set Verific db_preserve_user_nets flag
Clifford Wolf
2018-03-07
1
-0
/
+1
*
Update comment about supported SVA in verificsva.cc
Clifford Wolf
2018-03-06
1
-51
/
+8
[next]