Java Based Co-Verification of Expedited Mobile Device

Calgary, Alberta, Canada June 30-July 02

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/IWSOC.2003.1213031

The 3rd IEEE International Workshop o ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Sherif G. Aly Articles by Ashraf M. Salem

	ASCII Text	x
	Sherif G. Aly, Ashraf M. Salem, "Java Based Co-Verification of Expedited Mobile Device," System-on-Chip for Real-Time Applications, International Workshop on, pp. 181, The 3rd IEEE International Workshop on System-on-Chip for Real-Time Applications (IWSOC'03), 2003.

	BibTex	x
	@article{ 10.1109/IWSOC.2003.1213031, author = {Sherif G. Aly and Ashraf M. Salem}, title = {Java Based Co-Verification of Expedited Mobile Device}, journal ={System-on-Chip for Real-Time Applications, International Workshop on}, volume = {0}, year = {2003}, isbn = {0-7695-1944-X}, pages = {181}, doi = {http://doi.ieeecomputersociety.org/10.1109/IWSOC.2003.1213031}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - System-on-Chip for Real-Time Applications, International Workshop on TI - Java Based Co-Verification of Expedited Mobile Device SN - 0-7695-1944-X SP EP A1 - Sherif G. Aly, A1 - Ashraf M. Salem, PY - 2003 KW - null VL - 0 JA - System-on-Chip for Real-Time Applications, International Workshop on ER -

Sherif G. Aly, General Dynamics Cairo, Egypt

Ashraf M. Salem, Mentor Graphics Egypt Cairo, Egypt

In this paper, an architecture of a Java based Co-Verification environment is proposed. A clock, memory, and bus have been modeled using the model-view paradigm. Furthermore, mobile device collaboration has been modeled using communicating threads. The proposed model consists of four components: a Java Virtual Machine, a Java based bus functional model (JBFM), a collaboration protocol model and an API interface. A simple image processing operation has been used to demonstrate the applicability of our approach.

Citation:

Sherif G. Aly, Ashraf M. Salem, "Java Based Co-Verification of Expedited Mobile Device," iwsoc, pp.181, The 3rd IEEE International Workshop on System-on-Chip for Real-Time Applications (IWSOC'03), 2003

Peer Review Notice | Give Us Feedback

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