Show simple item record

dc.contributor.authorKishinewsky, M
dc.contributor.authorCortadella, Jordi
dc.contributor.authorKondratyev, A
dc.contributor.authorLavagno, L
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.identifier.citationKishinewsky, M., Cortadella, J., Kondratyev, A., Lavagno, L. "Asynchronous interface specification, analysis and synthesis". 1998.
dc.description.abstractInterfaces, by nature, are often asynchronous since they serve for connecting multiple distributed modules/agents without common clock. However, recent development in theory of asynchronous design in the area of asynchronous specifications and models, analysis and verification, synthesis and technology mapping, timing optimization and performance analysis is not widely known and rarely accepted by industry. The goal of this paper is to fill this gap and to present an overview of one popular systematic design methodology for design of asynchronous interface controllers. This methodology is based on using Petri nets, a formal model that, from the engineering standpoint, is a formalization of timing diagrams (waveforms) and from the system designer standpoint is a concurrent state machine, in which local components can perform independent or interdependent concurrent actions, changing their local states asynchronously. We will introduce this model informally based on a simple example: a VME-bus controller serving reads from a device to a bus and writes from the bus into the device.
dc.format.extent17 p.
dc.subjectÀrees temàtiques de la UPC::Informàtica::Programació
dc.subject.otherAsynchronous interface controllers
dc.subject.otherPetri nets
dc.titleAsynchronous interface specification, analysis and synthesis
dc.typeExternal research report
dc.rights.accessOpen Access
dc.description.versionPostprint (published version)
upcommons.citation.authorKishinewsky, M.; Cortadella, J.; Kondratyev, A.; Lavagno, L.

Files in this item


This item appears in the following Collection(s)

Show simple item record

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder