Sciweavers

Share
73 search results - page 1 / 15
» Activity-Driven Synthesis of State Machines
Sort
View
FASE
2007
Springer
12 years 8 months ago
Activity-Driven Synthesis of State Machines
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
Rolf Hennicker, Alexander Knapp
VLSID
1997
IEEE
98views VLSI» more  VLSID 1997»
12 years 6 months ago
Synthesis for Logical Initializability of Synchronous Finite State Machines
—Logical initializability is the property of a gate-level circuit whereby it can be driven to a unique start state when simulated by a three-valued (0, 1, ) simulator. In practic...
Montek Singh, Steven M. Nowick
ICCD
1992
IEEE
126views Hardware» more  ICCD 1992»
12 years 6 months ago
High-Level State Machine Specification and Synthesis
Current synthesis methodologies based on hardwaredescription languages focus mainly on two distinct levels: behavior and register-transfer levels. In many practical cases, however...
Andreas Kuehlmann, Reinaldo A. Bergamaschi
ICCAD
1993
IEEE
111views Hardware» more  ICCAD 1993»
12 years 6 months ago
Unifying synchronous/asynchronous state machine synthesis
We present a design style and synthesis algorithm that encompasses both asynchronous and synchronous state machines. Our proposed design style not only supports generalized “bur...
Kenneth Y. Yun, David L. Dill
EH
1999
IEEE
125views Hardware» more  EH 1999»
12 years 6 months ago
Improving Correctness of Finite-State Machine Synthesis from Multiple Partial Input/Output Sequences
Our previous work focused on the synthesis of sequential circuits based on a partial input/output sequence. As the behavioural description of the target circuit is not known the c...
Prabhas Chongstitvatana, Chatchawit Aporntewan
books