Title :
Hazard detection in a GALS wrapper: a case study
Author :
C. Stahl;W. Reisig;M. Krstic
Author_Institution :
Humboldt-Univ. zu Berlin, Germany
fDate :
6/27/1905 12:00:00 AM
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.
Keywords :
"Hazards","Computer aided software engineering","State-space methods","Circuit synthesis","Microelectronics","Explosions","System recovery","Design methodology","System analysis and design","Signal synthesis"
Conference_Titel :
Application of Concurrency to System Design, 2005. ACSD 2005. Fifth International Conference on
Print_ISBN :
0-7695-2363-3
DOI :
10.1109/ACSD.2005.20
