Fifth International Conference on Application of Concurrency to System Design (ACSD'05) (2005)
St. Malo, France
June 7, 2005 to June 9, 2005
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ACSD.2005.20
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.
M. Krstić, C. Stahl and W. Reisig, "Hazard Detection in a GALS Wrapper: A Case Study," Fifth International Conference on Application of Concurrency to System Design (ACSD'05)(ACSD), St. Malo, France, 2005, pp. 234-243.