Coverage Measurement for Software Application Level Verification using Symbolic Trajectory Evaluation Techniques

D
DELTA
2004
Second IEEE International Workshop on Electronic Design, Test and Applications
Abstract - Coverage Measurement for Software Application Level Verification using Symbolic Trajectory Evaluation Techniques

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Adriel Cheng Articles by Atanas Parashkevov Articles by Cheng-Chew Lim

Second IEEE International Workshop on Electronic Design, Test and Applications

Perth, Australia

January 28-January 30

ISBN: 0-7695-2081-2

	ASCII Text	x
	Adriel Cheng, Atanas Parashkevov, Cheng-Chew Lim, "Coverage Measurement for Software Application Level Verification using Symbolic Trajectory Evaluation Techniques," Electronic Design, Test and Applications, IEEE International Workshop on, pp. 237, Second IEEE International Workshop on Electronic Design, Test and Applications, 2004.

	BibTex	x
	@article{ 10.1109/DELTA.2004.10047, author = {Adriel Cheng and Atanas Parashkevov and Cheng-Chew Lim}, title = {Coverage Measurement for Software Application Level Verification using Symbolic Trajectory Evaluation Techniques}, journal ={Electronic Design, Test and Applications, IEEE International Workshop on}, volume = {0}, year = {2004}, isbn = {0-7695-2081-2}, pages = {237}, doi = {http://doi.ieeecomputersociety.org/10.1109/DELTA.2004.10047}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Electronic Design, Test and Applications, IEEE International Workshop on TI - Coverage Measurement for Software Application Level Verification using Symbolic Trajectory Evaluation Techniques SN - 0-7695-2081-2 SP EP A1 - Adriel Cheng, A1 - Atanas Parashkevov, A1 - Cheng-Chew Lim, PY - 2004 KW - null VL - 0 JA - Electronic Design, Test and Applications, IEEE International Workshop on ER -

Adriel Cheng, The University of Adelaide; Motorola EDA/IC

Atanas Parashkevov, Motorola EDA/IC

Cheng-Chew Lim, The University of Adelaide

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DELTA.2004.10047

Design verification of a systems-on-a-chip is a bottleneck for hardware design projects. A new solution is a design verification methodology that applies coverage driven verification at the embedded software application level. This methodology currently lacks an appropriate coverage measurement technique. This paper proposes a new coverage model for the software application level. Using this coverage model, a novel technique to represent and measure coverage is described. This technique uses ideas such as control graph structures and checking algorithms to estimate the completeness of software application verification.

Citation:

Adriel Cheng, Atanas Parashkevov, Cheng-Chew Lim, "Coverage Measurement for Software Application Level Verification using Symbolic Trajectory Evaluation Techniques," delta, pp.237, Second IEEE International Workshop on Electronic Design, Test and Applications, 2004

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.