loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fifth International Conference on Application of Concurrency to System Design (ACSD'05)
Hazard Detection in a GALS Wrapper: A Case Study
St. Malo, France
June 07-June 09
ISBN: 0-7695-2363-3
ASCII Text
x 
 
Christian Stahl, Wolfgang Reisig, Miloš Krstić, "Hazard Detection in a GALS Wrapper: A Case Study," Application of Concurrency to System Design, International Conference on, pp. 234-243, Fifth International Conference on Application of Concurrency to System Design (ACSD'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/ACSD.2005.20,
author = {Christian Stahl and Wolfgang Reisig and Miloš Krstić},
title = {Hazard Detection in a GALS Wrapper: A Case Study},
journal ={Application of Concurrency to System Design, International Conference on},
volume = {0},
year = {2005},
issn = {1550-4808},
pages = {234-243},
doi = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2005.20},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Application of Concurrency to System Design, International Conference on
TI - Hazard Detection in a GALS Wrapper: A Case Study
SN - 1550-4808
SP234
EP243
A1 - Christian Stahl,
A1 - Wolfgang Reisig,
A1 - Miloš Krstić,
PY - 2005
KW - null
VL - 0
JA - Application of Concurrency to System Design, International Conference on
ER -
 
Christian Stahl, Humboldt-Universit?at zu Berlin
Wolfgang Reisig, Humboldt-Universit?at zu Berlin
Miloš Krstić, IHP Microelectronics
An asynchronous wrapper of a fabricated GALS system is analyzed for hazards. For this purpose a Petri net based modelling approach of this GALS wrapper is presented. In our model the question whether a hazard can occur in a gate is reduced to a model checking problem: the reachability of a particular marking in the Petri net. In order to alleviate state space explosion two techniques to reduce the model's state space are presented. By use of these techniques we detected several potential hazards and a deadlock in the wrapper.
Citation:
Christian Stahl, Wolfgang Reisig, Miloš Krstić, "Hazard Detection in a GALS Wrapper: A Case Study," acsd, pp.234-243, Fifth International Conference on Application of Concurrency to System Design (ACSD'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.