Signalflankengraphen (Signal Transition Graphs - STGs) sind ein weit verbreiteter Formalismus zur Beschreibung asynchroner Schaltungen. Solche Schaltungen arbeiten ohne Taktsignal und haben daher einige Vorteile gegenüber herkömmlichen synchronen Schaltungen, z.B. einen reduzierten Energieverbrauch. Sie sind jedoch schwierig herzustellen, da Ihre Synthese zu Zustandsexplosion führt. Dieses Buch beschäftigt sich mit STG-Dekomposition, ein Ansatz, dieses Problem zu bewältigen, indem eine ganze Sammlung von kleinen Schaltungen gebaut wird statt einer großen. Zu diesem Zweck wird der bereits existierende Dekompositionsalgorithmus von Vogler et al. detailliert untersucht und verbessert.weiterlesen