Title :
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
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;
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
DOI :
10.1109/ASYNC.1994.656296
