Sciweavers

Share
7 search results - page 1 / 2
» CHESMIN: A Heuristic for State Reduction in Incompletely Spe...
Sort
View
DAC
1996
ACM
12 years 6 days ago
A Fast State Reduction Algorithm for Incompletely Specified Finite State Machines
Abstract-- This paper proposes a state reduction algorithm for incompletely specified FSMs. The algorithm is based on iterative improvements. When the number of compatibles is like...
Hiroyuki Higuchi, Yusuke Matsunaga
ASPDAC
2001
ACM
126views Hardware» more  ASPDAC 2001»
11 years 11 months ago
A new partitioning scheme for improvement of image computation
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
Christoph Meinel, Christian Stangier
FPL
1999
Springer
147views Hardware» more  FPL 1999»
12 years 10 days ago
Synthia: Synthesis of Interacting Automata Targeting LUT-based FPGAs
This paper details the development, implementation, and results of Synthia, a system for the synthesis of Finite State Machines (FSMs) to field-programmable logic. Our approach us...
George A. Constantinides, Peter Y. K. Cheung, Wayn...
books