Designing asynchronous circuits from behavioural specifications with internal conflicts

Carregant...
Miniatura
El pots comprar en digital a:
El pots comprar en paper a:

Projectes de recerca

Unitats organitzatives

Número de la revista

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

Assignatures relacionades

Assignatures relacionades

Publicacions relacionades

Datasets relacionats

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

ISSN

Altres identificadors

Referències