Hazard detection in a GALS wrapper: a case study

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.