Verification Using SystemC

Manipulation of Arbitrary Data Types

Using the scv_extensions_if

	Example : scv_extensions_if
	Simulation Output : scv_extensions_if

Extensions for User-Specified Types

	Example : scv_user_defined
	Simulation Output : scv_user_defined
	Example : scv_user_defined class
	Simulation Output : scv_user_defined class
	Example : scv_user_defined Enums
	Simulation Output : scv_user_defined Enums

Dynamic Extension

	Example : scv_smart_ptr
	Simulation Output : scv_smart_ptr

Basic Randomization

	Example : Simple Random
	Simulation Output : Simple Random

Basic Constraints

	Example : Constraints
	Simulation Output : Constraints

Weighted Randomization

	Example : Weighted Randomization
	Simulation Output : Weighted Randomization
	Example : keep_only
	Simulation Output : keep_only
	Example : keep_out
	Simulation Output : keep_out

Seed Management

Variable And Transaction Recording

Variable Recording

	Example : Callback
	Simulation Output : Callback

Transcation Recording

	Example : Transaction Recording
	Simulation Output : Transcation Recording

Data Structures

	Example : sparse_array
	Simulation Output : sparse_array

Copyright � 1998-2014

Deepak Kumar Tala - All rights reserved

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