Professional Documents
Culture Documents
Verification Management
Functional Coverage
Randomized Stimulus
Self-Checking Testbenches
Transaction Level Stimulus
Assertions
Test Plan
Code Coverage
Code Coverage
Statement Coverage
2.
Branch Coverage
3.
Condition Coverage
4.
Expression Coverage
5.
Mnemonic
Some
Beer
For
Extra
Courage
+cover arguments
+cover=sbfec
-coverage option
s
b
c
e
f
Statement
Branch
Condition
Expression
Finite
State Machine
Mnemonic
Some
Beer
For
Extra
Courage
Running Coverage
Compile
Compile DUT
DUTwith
with coverage.
coverage.
Compile
Compile test
test bench
bench without
without
coverage.
coverage.
Compile
Compile test
test without
without coverage
coverage
Simulate
Simulate with
with no
no optimization
optimization
and
and with
with coverage
coverage
ModelSim
ModelSimswitches
switches to
to the
the
coverage
coverage layout
layout
Coverage
Stats
Instance
coverage
Source
Code View
Missing
coverage
Details of
Misses
Statement Coverage
Expand
Expand source
source window
window
to
to see
see missing
missing coverage
coverage
Browse
Browse Missing
Missing
Coverage
Coverage
Branch Stats
Missing
Branches
Branch Details
Miss Information
OUT = A OR B
OUT = A OR B
A
OUT
OUT = A OR B
A
OUT
OUT
Missed
UDP or FEC
Coverage
Press F5 For
Details
UDP Details
FEC Details
We missed one!
FSM
Statistics
Missed States
Expand to see
State Machine
Missed State
Details
Missed State
Creating Exclusions
Create Exclusions
in the GUI
Create Exclusions in
Source Code
Test
Functional Assertion
Code
Engine
Coverage Coverage
0-in
Formal
User
Coverage
Test
Specific
Plan
UCDB
RD / WR API
UCDB Browser
RD / WR API
Test Ranking
UCDB Demo
Source and
Test Bench
Tests
UCDB
Output
Source
and Test
Bench
Testplan
to UCDB
Testplan
Script to
Run Tests
Coverage Goals
Read
Readtest
testmodules
modulesout
outofofTests
Teststhen
then
compile
compileand
andsimulate.
simulate.
Store
StoreCoverage
Coverageand
andDebug
Debug
information
from
each
information from eachtest
test
Report
ReportResults
Results
Tests
Test
TestRunning
Running
Testing
Testingcache
cachehits
hits
Open
OpenVerification
VerificationBrowser
Browser
Import
ImportTest
TestPlan
PlanXML
XML
Add
AddResult
ResultUCDB
UCDBFiles
Filesfrom
from
UCDB
UCDBDirectory
Directory
Merge
Mergethe
thecoverage
coverageresults
resultsfrom
from
all
allthe
thetests
testswith
withthe
thetest
testplan
plantoto
see
seethat
thatweve
wevecovered
coveredthe
the
complete
completeplan
plan
Merge
Mergethe
thecoverage
coverageresults
resultsfrom
from
all
allthe
thetests
testswith
withthe
thetest
testplan
plantoto
see
seethat
thatweve
wevecovered
coveredthe
the
complete
completeplan.
plan. GREEN
GREENisisgood.
good.
We
Wehave
have100%
100%coverage
coverageininthe
the
types
typesofofcoverage
coveragewe
weused
used
Notice
Noticethat
thatweve
weverun
runall
allthe
thetests
tests
ininthe
theplan.
plan.
Rank
Rankthe
thetests
teststotosee
seewhich
whichgive
give
the
themost
mostcoverage
coverage
You
Youonly
onlyneed
needtwo
twotests
teststotofully
fully
cover
coverthe
thedesign
design
Create
CreateHTML
HTMLReport
Reportfor
forall
all
merged
mergedcoverage
coveragedata
data
Name
Namethe
thedirectory
directorythat
thatwill
willhold
hold
index.html
index.html
All
AllUCDB
UCDBCommands
Commandsare
are
scriptable.
scriptable. This
Thisscript
script
captures
capturesall
alltest
testdata
dataand
and
creates
HTML
Report
creates HTML Report
http://supportnet.mentor.com/
http://communities.mentor.com/