loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The 3rd IEEE International Workshop on System-on-Chip for Real-Time Applications (IWSOC'03)
Java Based Co-Verification of Expedited Mobile Device
Calgary, Alberta, Canada
June 30-July 02
ISBN: 0-7695-1944-X
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
Usage of this product signifies your acceptance of the Terms of Use.