This paper presents a set of sufficient conditions for the gate-level synthesis of speed-independent circuits when constrained to a given class of gate library. Existing synthesis methodologies are restricted to architectures that use simple AND-gates, and do not exploit the advantages offered by the existence of complex gates. The use of complex gates increases the speed and reduces the area of the circuits. These improvements are achieved because of (1) the elimination of the distributivity, signal persistency and unique minimal state requirements imposed by other techniques; (2) the reduction in the number of internal signals necessary to guarantee the synthesis; and finally (3) the utilization of optimization techniques to reduce the fa...
Asynchronous circuits can be modeled as concurrent systems in which events are interpreted as signal...
This paper presents a new technique for decomposition and technology mapping of speed-independent ci...
This proposal describes a comprehensive methodology for performance-oriented synthesis of multi-leve...
This technical report presents a set of sufficient conditions for the gate-level synthesis of speedi...
This paper presents a set of sufficient conditions for the gate-level synthesis of speed-independent...
Journal ArticleAbstract-This paper presents theory and algorithms for the synthesis of standard C-im...
Logic decomposition is a well-known problem in logic synthesis, but it poses new challenges when tar...
Logic decomposition is a well-known problem in logic synthesis, but it poses new challenges when tar...
This paper presents theory and practical implementation of a method for multi-level logic synthesis ...
This paper presents a solution to the problem of sequential multi-level logic synthesis of asynchron...
Journal ArticleThis paper presents a decomposition method for speedindependent circuit design that i...
This paper presents a novel methodology for the synthesis of speed-independent circuits from Signal ...
Traditionally, three metrics have been used to evaluate the quality of logic circuits -- size, speed...
This paper presents a method for the verification of speed-independent circuits. The main contributi...
The opportunities created by modern microelectronic technology cannot be effectively and efficiently...
Asynchronous circuits can be modeled as concurrent systems in which events are interpreted as signal...
This paper presents a new technique for decomposition and technology mapping of speed-independent ci...
This proposal describes a comprehensive methodology for performance-oriented synthesis of multi-leve...
This technical report presents a set of sufficient conditions for the gate-level synthesis of speedi...
This paper presents a set of sufficient conditions for the gate-level synthesis of speed-independent...
Journal ArticleAbstract-This paper presents theory and algorithms for the synthesis of standard C-im...
Logic decomposition is a well-known problem in logic synthesis, but it poses new challenges when tar...
Logic decomposition is a well-known problem in logic synthesis, but it poses new challenges when tar...
This paper presents theory and practical implementation of a method for multi-level logic synthesis ...
This paper presents a solution to the problem of sequential multi-level logic synthesis of asynchron...
Journal ArticleThis paper presents a decomposition method for speedindependent circuit design that i...
This paper presents a novel methodology for the synthesis of speed-independent circuits from Signal ...
Traditionally, three metrics have been used to evaluate the quality of logic circuits -- size, speed...
This paper presents a method for the verification of speed-independent circuits. The main contributi...
The opportunities created by modern microelectronic technology cannot be effectively and efficiently...
Asynchronous circuits can be modeled as concurrent systems in which events are interpreted as signal...
This paper presents a new technique for decomposition and technology mapping of speed-independent ci...
This proposal describes a comprehensive methodology for performance-oriented synthesis of multi-leve...