Self-checking FSM design with observing only FSM outputs

Matrosova, A.; Ostanin, S.

doi:10.1109/olt.2000.856629

Cited by 9 publications

(8 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In the configuration file, the blocks of gain are represented in accordance with the Listing 9 (lines [11][12][13][14]. The block gain has no specification of input and output ports, because by default a gain always has an input and an output.…”

Section: Conversion Results Using Ad7528mentioning

confidence: 99%

“…All configuration of the subsystem is between two tags and their description is the same as already explained. Similarly, the output ports are specified by the tags <OutBlock name="..."> and </ OutBlock> (Listing 8, lines [11][12][13]. In both the tag property name identify the block.…”

Section: Conversion Results Using Ad7528mentioning

confidence: 99%

“…The focus of the work was modeling and the verification. In [12] was developed a conceptual mathematical model for automatic checking of the FSM by observing the outputs of this particular FSM, allowing checking faulty behavior.…”

Section: Related Researchmentioning

confidence: 99%

See 2 more Smart Citations

Code Generation From MATLAB – Simulink Models

Almeida¹,

Grout²,

Silva³

2014

MATLAB Applications for the Practical Engineer

View full text Add to dashboard Cite

Section: Conversion Results Using Ad7528mentioning

confidence: 99%

Section: Conversion Results Using Ad7528mentioning

confidence: 99%

See 1 more Smart Citation

Code Generation From MATLAB – Simulink Models

Almeida¹,

Grout²,

Silva³

2014

MATLAB Applications for the Practical Engineer

View full text Add to dashboard Cite

“…It has been proven in [7] that if the SSC is synthesized as the partially monotonic system by using either two-level or multi-level methods, then any single stuck-at fault on the gate poles and state lines of the circuit are 0…”

Section: Tsc Property For the State Monotonic Sscmentioning

confidence: 99%

Self-checking sequential circuits with self-healing ability

Левин

Ostrovsky

Ostanin

et al. 2002

Proceedings of the 12th ACM Great Lakes Symposium on VLSI

View full text Add to dashboard Cite

In this paper we deal with totally self-checking (TSC) synchronous sequential circuits (SSCs), that are able to recover after an occurrence of a fault. We call SSC owing this property as a self-healing SSC. A concept of a partially monotonic SSC is used in the paper. It is shown that the partially monotonic SSCs satisfy the self-healing property. A novel reduced m-out-of-n code is developed. It is proposed applying this code to the synthesis of a TSC checker for the state monotonic SSCs. The proposed method of synthesis is based on a LUT implementation of monotonic functions.For most circuits in a standard benchmark set, the proposed approach leads to a reduction of about 10-20% of the overhead as compared with the traditional methods.

show abstract

“…Several techniques have been proposed over the years for designing selfchecking combinational circuits and state machines to cope with transient errors [7][8][9][10][11][12][13][14]. An architecture for designing online/offline testable state machines was proposed in [11] that has an advantage over the traditional approaches to selfchecking design.…”

Section: Introductionmentioning

confidence: 99%

An Approach for Implementing State Machines with Online Testability

2010

View full text Add to dashboard Cite

During the last two decades, significant amount of research has been performed to simplify the detection of transient or soft errors in VLSI-based digital systems. This paper proposes an approach for implementing state machines that uses 2-hot code for state encoding. State machines designed using this approach allow online detection of soft errors in registers and output logic. The 2-hot code considerably reduces the number of required flip-flops and leads to relatively straightforward implementation of next state and output logic. A new way of designing output logic for online fault detection has also been presented.

show abstract

Self-checking FSM design with observing only FSM outputs

Cited by 9 publications

References 2 publications

Code Generation From MATLAB – Simulink Models

Code Generation From MATLAB – Simulink Models

Self-checking sequential circuits with self-healing ability

An Approach for Implementing State Machines with Online Testability

Contact Info

Product

Resources

About