quick.gif

space2.gif

space2.gif

space2.gif

space2.gif

space2.gif

space2.gif

space2.gif

   

space.gif

   

space.gif

   

space.gif

  Introduction
   
F1 Coverage points
F2 Coverage points
F3 Coverage points
F4 Coverage points
   

space.gif

  Vera Functional Coverage
   
Coverage Group
 
embedded coverage group
Standalone coverage group
Instantiation of coverage_group
 
Embedded Coverage Groups : Implicit
Embedded Coverage Groups : Explicit
Embedded Coverage Groups : null
Variables and Scope
 
Example : Variables and Scope : Vera File
Example : Variables and Scope : HDL File
Sample Event Definitions
 
Example
Simulation log
   

space.gif

  Defining Coverage Points
   
state
 
Example
Simulation log
Coverage Report
state with if
 
Example
Simulation log
Coverage Report
state all
 
Example
Simulation log
Coverage Report
not state
 
Example
Simulation log
Coverage Report
m_state
 
Example
Simulation log
Coverage Report
m_bad_state
 
Example
Simulation log
Coverage Report
wildcard state
 
Example
Simulation log
Coverage Report
tran
 
Example
Simulation log
Coverage Report
tran all
 
Example
Simulation log
Coverage Report
not tran
 
Example
Simulation log
Coverage Report
m_tran
 
Example
Simulation log
Coverage Report
m_bad_tran
 
Example
Simulation log
Coverage Report
wildcard tran
 
Example
Simulation log
Coverage Report
cross
 
Example
Simulation log
Coverage Report
cross ignored
 
Example
Simulation log
Coverage Report
cross bad state
 
Example
Simulation log
Coverage Report
cross bad state binsof
 
Example
Simulation log
Coverage Report
cumulative coverage on
 
Example
Simulation log
Coverage Report
cumulative coverage off
 
Example
Simulation log
Coverage Report
   

space.gif

  Measuring Coverage
   

space.gif

  Instance Names
   

space.gif

   

space.gif

Google
 
Web www.asic-world.com

space2.gif

space2.gif

space2.gif

space2.gif

space2.gif

  

Copyright 1998-2014

Deepak Kumar Tala - All rights reserved

Do you have any Comment? mail me at:deepak@asic-world.com