Designing asynchronous circuits from behavioural specifications with internal conflicts
Carregant...
Fitxers
El pots comprar en digital a:
El pots comprar en paper a:
Títol de la revista
ISSN de la revista
Títol del volum
Col·laborador
Editor
Tribunal avaluador
Realitzat a/amb
Tipus de document
Text en actes de congrés
Data publicació
Editor
Institute of Electrical and Electronics Engineers (IEEE)
Condicions d'accés
Accés obert
item.page.rightslicense
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva reproducció, distribució, comunicació pública o transformació sense l'autorització de la persona titular dels drets
Publicacions relacionades
Datasets relacionats
Projecte CCD
Abstract
The paper presents a systematic method for synthesizing asynchronous circuits from event-based specifications with conflicts on output signals. It describes a set of semantic-preserving transformations performed at the Petri net level, which introduce auxiliary signal transitions implemented by internally analogue components, Mutual Exclusion (ME) elements. The logic for primary outputs can therefore be realized free from hazards and external meta-stability. The technique draws upon the use of standard logic components and two-input MEs, available in a typical design library.
Descripció
Persones/entitats
Document relacionat
Versió de
Citació
Cortadella, J. [et al.]. Designing asynchronous circuits from behavioural specifications with internal conflicts. A: International Symposim on Advanced Research in Asynchronous Circuits and Systems. "Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems: November 3-5, 1994, Salt Lake City, Utah". Institute of Electrical and Electronics Engineers (IEEE), 1994, p. 106-115.
Ajut
Forma part
Dipòsit legal
ISBN
0-8186-6210-7

