AsFigo FVLint issues - Githubissues

AsFigo / FVLint

Custom linter for Formal Verification using SVA

3 stars 3 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

added test

#11 manojrajendran0913 opened 2 weeks ago
0
Fv_test added

#10 sajanalulu opened 2 weeks ago
0
create FV_tests directory and added test_1,test_2

#9 sivabararthi opened 2 weeks ago
0
Avoid first_match operator

#8 ajeethakv opened 4 weeks ago
1
Non-contingous repats - avoid unbounded

#7 ajeethakv opened 4 weeks ago
0
Avoid unbounded repetition - continuous

#6 ajeethakv opened 4 weeks ago
0
COMPAT: Use disable-iff than abort property operators

#5 ajeethakv opened 4 weeks ago
0
COMPAT: Avoid local variables in SVA for formal

#4 ajeethakv opened 4 weeks ago
0
PERF: Avoid sequence intersection operators

#3 ajeethakv opened 4 weeks ago
0
COMPAT: Avoid dist inside SVA

#2 ajeethakv opened 4 weeks ago
0
COMPAT: Avoid "expect" verification directive

#1 ajeethakv opened 4 weeks ago
0