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 three techniques to reduce the model’s state space are presented. By use of these techniques we detected several potential hazards in the wrapper.

• Type: Conference
• Year: 2005
• Where: ACSD
• Authors: Christian Stahl, Wolfgang Reisig, Milos Krstic
• Keywords: ACSD 2005, Asynchronous Wrapper, Gals Wrapper, Hardware, Petri Net