Decomposition in asynchronous circuit design

  • Signal Transition Graphs (STGs) are a version of Petri nets for the specification of asynchronous circuit behaviour. It has been suggested to decompose such a specification as a first step; this leads to a modular implementation, which is often more efficient, and it can support circuit synthesis by possibly avoiding state explosion or allowing the use of library elements. We present a decomposition algorithm and formally prove it correct, where an interesting aspect is the use of a bisimulation with angelic nondeterminism. In contrast to similar approaches in the literature, our algorithm is very generally applicable. We show that transition contraction -- the main operation in the algorithm -- can be applied with fewer restrictions than known so far. We also prove that deletion of redundant places can be used in the algorithm, which turns out to be very useful in examples.

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Walter VoglerGND, Ralf Wollowski
URN:urn:nbn:de:bvb:384-opus4-1471
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/196
Series (Serial Number):Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg (2002-05)
Type:Report
Language:English
Year of first Publication:2002
Publishing Institution:Universität Augsburg
Release Date:2006/06/08
Tag:concurrent systems; Petri nets; asynchronous circuits; Signal Transition Graphs; decomposition; modular implementation; state explosion
GND-Keyword:Verfeinerung; Schaltungsentwurf; Nebenläufigkeit
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Professur für Theorie verteilter Systeme
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik