Sciweavers

2467 search results - page 3 / 494
» Finite State Machines
Sort
View
PTS
2003
108views Hardware» more  PTS 2003»
15 years 7 months ago
Fault Diagnosis in Extended Finite State Machines
In this paper, we propose a method for the derivation of an adaptive diagnostic test suite when the system specification and implementation are given in the form of an extended fin...
Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtush...
FPL
2000
Springer
155views Hardware» more  FPL 2000»
15 years 9 months ago
Synthesis and Implementation of RAM-Based Finite State Machines in FPGAs
This paper discusses the design and implementation of finite state machines (FSM) with combinational circuits that are built primarily from RAM blocks. It suggests a novel state as...
Valery Sklyarov
ITC
1999
IEEE
105views Hardware» more  ITC 1999»
15 years 10 months ago
Finite state machine synthesis with concurrent error detection
A new synthesis technique for designing finite state machines with on-line parity checking is presented. The output logic and the next-state logic of the finite state machines are...
Chaohuang Zeng, Nirmal R. Saxena, Edward J. McClus...
ASPDAC
2001
ACM
94views Hardware» more  ASPDAC 2001»
15 years 9 months ago
On speeding up extended finite state machines using catalyst circuitry
We propose a timing optimization technique for a complex finite state machine that consists of not only random logic but also data operators. In such a design, the timing critical...
Shi-Yu Huang
DAC
1994
ACM
15 years 10 months ago
BDD Variable Ordering for Interacting Finite State Machines
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
Adnan Aziz, Serdar Tasiran, Robert K. Brayton