5 search results - page 1 / 1 » Hazard-Free Synthesis and Decomposition of Asynchronous Circ... |
ASPDAC
1999
ACM
13 years 9 months ago
1999
ACM
ACSD
2007
IEEE
13 years 11 months ago
2007
IEEE
Signal Transition Graphs (STG) are a formalism for the description of asynchronous circuit behaviour. In this paper we propose (and justify) a formal semantics of nondeterministic...
ASYNC
2004
IEEE
13 years 8 months 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...
ACSD
2005
IEEE
13 years 10 months ago
2005
IEEE
Signal Transition Graphs (STGs) are a version of Petri nets for the specification of asynchronous circuit behaviour. It has been suggested to decompose such a specification as a...
APN
2005
Springer
13 years 10 months ago
2005
Springer
STGs give a formalism for the description of asynchronous circuits based on Petri nets. To overcome the state explosion problem one may encounter during circuit synthesis, a nondet...