Sciweavers

2 search results - page 1 / 1
» Determinate STG Decomposition of Marked Graphs
Sort
View
APN
2005
Springer
13 years 9 months ago
Determinate STG Decomposition of Marked Graphs
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...
Mark Schäfer, Walter Vogler, Petr Jancar
ACSD
2007
IEEE
103views Hardware» more  ACSD 2007»
13 years 10 months ago
Output-Determinacy and Asynchronous Circuit Synthesis
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...
Victor Khomenko, Mark Schäfer, Walter Vogler