The Community for Technology Leaders
2010 10th International Conference on Application of Concurrency to System Design (2005)
St. Malo, France
June 7, 2005 to June 9, 2005
ISSN: 1550-4808
ISBN: 0-7695-2363-3
pp: 234-243
Miloš Krstić , IHP Microelectronics
Christian Stahl , Humboldt-Universit?at zu Berlin
Wolfgang Reisig , Humboldt-Universit?at zu Berlin
ABSTRACT
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.
INDEX TERMS
null
CITATION
Miloš Krstić, Christian Stahl, Wolfgang Reisig, "Hazard Detection in a GALS Wrapper: A Case Study", 2010 10th International Conference on Application of Concurrency to System Design, vol. 00, no. , pp. 234-243, 2005, doi:10.1109/ACSD.2005.20
108 ms
(Ver )