Designing asynchronous circuits from behavioural specifications with internal conflicts

Author

Cortadella, J. ; Lavagno, L. ; Vanbekbergen, P. ; Yakovlev, A.

Author_Institution

Dept. of Comput. Archit., Univ. Politecnica de Catalunya, Barcelona, Spain

fYear

1994

fDate

3-5 Nov 1994

Firstpage

106

Lastpage

115

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

Keywords

asynchronous circuits; Mutual Exclusion; Petri net; asynchronous circuits; behavioural specifications; hazards; internal conflicts; semantic-preserving transformations; Asynchronous circuits; Circuit synthesis; Computer architecture; Delay; Design methodology; Integrated circuit interconnections; Libraries; Logic circuits; Logic design; Signal synthesis;

fLanguage

English

Publisher

ieee

Conference_Titel

Advanced Research in Asynchronous Circuits and Systems, 1994., Proceedings of the International Symposium on

Conference_Location

Salt Lake City, UT

Print_ISBN

0-8186-6210-7

Type

conf

DOI

10.1109/ASYNC.1994.656296

Filename

656296