index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
frontends
/
verific
/
verificsva.cc
Commit message (
Expand
)
Author
Age
Files
Lines
*
verific: Fix conditions of SVAs with explicit clocks within procedures
Jannis Harder
2022-05-03
1
-3
/
+9
*
Fixing old e-mail addresses and deadnames
Claire Xenia Wolf
2021-06-08
1
-1
/
+1
*
Accept disable case for SVA liveness properties.
Diego H
2021-02-04
1
-0
/
+5
*
Better error for unsupported SVA sequence
Miodrag Milanovic
2020-09-18
1
-2
/
+8
*
Add Verific support for SVA nexttime properties
Clifford Wolf
2019-11-22
1
-0
/
+22
*
Add Verific SVA support for "always" properties
Clifford Wolf
2019-11-22
1
-5
/
+15
*
Use State::S{0,1}
Eddie Hung
2019-08-06
1
-1
/
+1
*
Add hack for handling SVA labels via Verific
Clifford Wolf
2019-03-07
1
-1
/
+14
*
Fix typographical and grammatical errors and inconsistencies.
whitequark
2019-01-02
1
-4
/
+4
*
Add "verific -L <int>" option
Clifford Wolf
2018-09-04
1
-2
/
+3
*
Fix handling of eventually properties in verific importer
Clifford Wolf
2018-07-17
1
-2
/
+4
*
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
*
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
*
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
1
-15
/
+35
*
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
*
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
*
Fix Verific handling of "assert property (..);" in always block
Clifford Wolf
2018-03-07
1
-6
/
+21
*
Update comment about supported SVA in verificsva.cc
Clifford Wolf
2018-03-06
1
-51
/
+8
*
Add SVA NON_CONSECUTIVE_REPEAT and GOTO_REPEAT support
Clifford Wolf
2018-03-06
1
-20
/
+41
*
Add SVA first_match() support
Clifford Wolf
2018-03-06
1
-0
/
+16
*
Add SVA within support
Clifford Wolf
2018-03-06
1
-2
/
+18
*
Add support for SVA sequence intersect
Clifford Wolf
2018-03-06
1
-36
/
+251
*
Add get_fsm_accept_reject for parsing SVA properties
Clifford Wolf
2018-03-06
1
-73
/
+86
*
Simplified SVA "until" handling
Clifford Wolf
2018-03-06
1
-25
/
+16
*
Add proper SVA seq.triggered support
Clifford Wolf
2018-03-04
1
-36
/
+84
*
Add Verific SVA support for "seq and seq" expressions
Clifford Wolf
2018-03-04
1
-24
/
+94
*
Refactor Verific SVA importer property parser
Clifford Wolf
2018-03-04
1
-56
/
+82
*
Add VerificClocking class and refactor Verific DFF handling
Clifford Wolf
2018-03-04
1
-80
/
+24
*
Add SVA support for sequence OR
Clifford Wolf
2018-03-03
1
-22
/
+33
*
Fix handling of SVA "until seq.triggered" properties
Clifford Wolf
2018-03-02
1
-7
/
+25
*
Update SVA cheat sheet in verificsva.cc
Clifford Wolf
2018-03-02
1
-2
/
+4
*
Fix in Verific SVA importer handling of until_with
Clifford Wolf
2018-03-01
1
-7
/
+5
*
Fixes and improvements in Verific SVA importer
Clifford Wolf
2018-03-01
1
-77
/
+126
*
Add support for PRIM_SVA_UNTIL to new SVA importer
Clifford Wolf
2018-02-28
1
-0
/
+27
*
Add DFSM generator to verific SVA importer
Clifford Wolf
2018-02-28
1
-19
/
+272
*
Continue refactoring of Verific SVA importer code
Clifford Wolf
2018-02-28
1
-603
/
+139
*
Major redesign of Verific SVA importer
Clifford Wolf
2018-02-27
1
-5
/
+573
*
Add "SVA syntax cheat sheet" comment to verificsva.cc
Clifford Wolf
2018-02-26
1
-0
/
+34
*
Add Verific SVA support for ranges in repetition operator
Clifford Wolf
2018-02-22
1
-5
/
+26
*
Add support for SVA throughout via Verific
Clifford Wolf
2018-02-21
1
-2
/
+6
*
Add support for SVA sequence concatenation ranges via verific
Clifford Wolf
2018-02-18
1
-16
/
+124
*
Add support for SVA until statements via Verific
Clifford Wolf
2018-02-18
1
-11
/
+119
*
Move Verific SVA importer to extra C++ source file
Clifford Wolf
2018-02-18
1
-0
/
+384