64 search results - page 6 / 13 » Output-Determinacy and Asynchronous Circuit Synthesis |
ACSD
2006
IEEE
14 years 10 days ago
2006
IEEE
Asynchronous circuits have received much attention recently due to their potential for energy savings. Process algebras have been extensively used in the modelling, analysis and sy...
DAC
1995
ACM
14 years 4 days ago
1995
ACM
Abstract— Many asynchronous designs are naturally specified and implemented hierarchically as an interconnection of separate asynchronous modules that operate concurrently and c...
CHARME
1995
Springer
14 years 4 days ago
1995
Springer
In this paper we present a method formodeling asynchronous digital circuits by timed automata. The constructed timed automata serve as \mechanical" and veri able objects for a...
EURODAC
1994
IEEE
14 years 21 days ago
1994
IEEE
Abstract -- A general framework for synthesis of asynchronous control circuits at the state graph level is proposed. The framework can consider both concurrency reduction as well a...
ASYNC
2004
IEEE
14 years 10 days ago
2004
IEEE
This paper presents a decomposition method for speedindependent circuit design that is capable of significantly reducing the cost of synthesis. In particular, this method synthesi...