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

Marketing Automation Platform Marketing Automation Tool