Studies on Isomorphic-Redundancy and Testing of Non-Scan Sequential Circuits.

Date of Submission

December 1992

Date of Award

Winter 12-12-1993

Institute Name (Publisher)

Indian Statistical Institute

Document Type

Master's Dissertation

Degree Name

Master of Technology

Subject Name

Computer Science

Department

Advance Computing and Microelectronics Unit (ACMU-Kolkata)

Supervisor

Bhattacharya, Bhargab Bikram (ACMU-Kolkata; ISI)

Abstract (Summary of the Work)

Synthesizing a sequential circuit from the description of state transition graph (STG) involves the steps of state minimization, state assignment and logic optimization. One of the basic goals in synthesis of non-scan sequential circuit is to make the circuit fully testable. Test sequences for all single stuck-at faults in the synthesized machine be derived using test can generation algorithms on the combinational logic blocks of the machine. A circuit is said to be 100% testable if test vectors can be generated for all the lines in the circuit under the single stuck-at fault model. The presence of redundant faults prevent the circuit from being fully testable. There two classes of are redundant faults in sequential circuit, namely, a non-scan combinationally and sequentially redundant faults.This part of the dissertation deals with the study of one special class of sequential redundant faults (SRFS), called isomorphic faults (Isomor ph-SRF ). Such a fault causes the STG of the faulty machine to be isomorphic to that of the fault-free machine. No input-out put experiment can thus detect i somorphic an fault. An open question in this context is whether there exists a combinationally real sequential circuit that is reduced and irredundant, in which a single-stuck at fault creates an isomorphic faulty machine. This dissertation settles this open question which shows that such a machine indeed exists.

Comments

ProQuest Collection ID: http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:28842793

Control Number

ISI-DISS-1992-07

Creative Commons License

Creative Commons Attribution 4.0 International License
This work is licensed under a Creative Commons Attribution 4.0 International License.

DOI

http://dspace.isical.ac.in:8080/jspui/handle/10263/2189

This document is currently not available here.

Share

COinS