VERA Functional Coverage

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

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

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

Measuring Coverage

Instance Names

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