Synthesis for Testability of Synchronous Sequential Circuits with Strong-Connectivity Using Undefined States on State Transition Graph(Test)(<Special Section>VLSI Design and CAD Algorithms)
スポンサーリンク
概要
- 論文の詳細を見る
In this paper, usage of undefined states on a State Transition Graph (STG) is addressed to obtain high fault coverage, in the area of Synthesis For Testability (SFT) of synchronous sequential circuits. Basically, a given STG could be modified by adding undefined states and distinguishable transitions so that each state might be included in one strongly-connected component as much as possible. Such modification decreases the number of redundant faults caused by the existence of unreachable states on an STG. For the modification, we propose two algorithms for both incompletely-specified STGs and completely-specified STGs, respectively. In case of incompletely-specified STGs, undefined states are added using unspecified transitions of defined states. In case of completely-specified STGs, undefined states are added by changing transitions specified on an STG while preserving state equivalence. Experimental results with MCNC benchmarks show that the number of redundant faults of gate-level circuits synthesized by our modified STGs are reduced, resulting in high fault coverage as well as short test generation time
- 社団法人電子情報通信学会の論文
- 2004-12-01
著者
-
Lee D‐i
Gwangju Inst. Of Sci. And Technol. Kor
-
Choi H‐y
School Of Electrical & Computer Eng. Chungbuk National University
-
Lee Dong-ik
Department Of Information And Communications Gwangju Institute Of Science And Technology
-
KIM Soo-Hyun
Department of Information and Communications, Gwangju Institute of Science and Technology
-
CHOI Ho-Yong
School of Electrical & Computer Eng., Chungbuk National University
-
KIM Kiseon
Department of Information and Communications, Gwangju Institute of Science and Technology
-
Lee D‐i
Department Of Information And Communications Gwangju Institute Of Science And Technology
-
Kim Soo-hyun
Department Of Information And Communications Gwangju Institute Of Science And Technology
-
Kim Kiseon
Department Of Information And Communications Gwangju Institute Of Science And Technology
-
Kim Kiseon
Department Of Information And Communication At The Gwangju Institute Of Science And Technology (gist
-
Kim Soo-hyun
Department Of Hospital Infection Control Korea University Hospital
関連論文
- An Efficient State Space Search for the Synthesis of Asynchronous Circuits by Subspace Construction
- Test Generation for SI Asynchronous Circuits with Undetectable Faults from Signal Transition Graph Specification(Special Section on Papers Selected from ITC-CSCC 2000)
- Synthesis for Testability of Synchronous Sequential Circuits with Strong-Connectivity Using Undefined States on State Transition Graph(Test)(VLSI Design and CAD Algorithms)
- High-Level Test Generation for Asynchronous Circuits from Signal Transition Graph(Special Section on VLSI Design and CAD Algorithms)
- Design of a Mutated Adder and Its Optimization Using ILP Formulation(Digital Circuits and Computer Arithmetic, Recent Advances in Circuits and Systems-Part 1)
- Low Latency Four-Flop Synchronizer with the Handshake Interface(Communications and Wireless Systems, Recent Advances in Circuits and Systems-Part 1)
- A Low Latency Asynchronous FIFO Combining a Wave Pipeline with a Handshake Scheme(VLSI Design Technology and CAD)
- A Parallel Flop Synchronizer and the Handshake Interface for Bridging Asynchronous Domains(Logic Synthesis)(VLSI Design and CAD Algorithms)
- A MAC Scheme Based on the Cell Arrival Timing Information for Multimedia Services over ATM-Based PON
- Asynchronous Array Multiplier with an Asymmetric Parallel Array Structure(Computer System Element)
- Performance Analysis of CDMA Mobile System Employing LPA Smart Antenna(Antennas and Propagation)
- Performance Comparison of Fast FH-FDMA Systems with Diversity Combining Receivers under Multitone Interference(Wireless Communication Technology)
- Sensitivity of SNR Degradation of OFDM to Carrier Frequency Offset in Shadowed Two-Path Channels(Wireless Communication Technology)
- Sensitivity of SNR Degradation of OFDM to Carrier Frequency Offset in Shadowed Two-Path Channels
- BER Performance of Satellite On-Board Processing Techniques with FH-MFSK Modulation under Various Interferences (2002 Joint Conference on Satellite Communications (JC-SAT 2002)--衛星通信技術及び一般)
- A Robust Recursive Least Square Algorithm against Impulsive Noise(Digital Signal Processing)
- Analysis of Throughput in M-WDMA MAC Protocol for WDMA Networks(Network)
- Multimedia Ad Hoc Wireless LANs with Distributed Channel Allocation Based on OFDM-CDMA(Wireless Communication Technology)
- APC-MAC/TA : Adaptive Power Controlled MAC Protocol with Traffic Awareness for Wireless Sensor Networks
- Design and Performance Analysis of Multimedia Pre-Allocation WDMA MAC Protocol for Metro-WDMA Networks
- Energy Consumption Analysis of the S-MAC Protocol with Contending Nodes under Unsaturated Conditions
- A Heuristic Traffic Load Balanced (HTLB) Channel Sharing Method for Metro-WDMA Networks
- Type-Based Detection with a Fusion Center Performing the Sequential Test in Wireless Sensor Networks(Ubiquitous Sensor Networks)
- Mental Health of Healthcare Workers who Experience Needlestick and Sharps Injuries
- Moving-Magnet Tracking and Focusing Actuators for Optical Recording Systems
- Design of Decoupled Wrapper for Globally Asynchronous Locally Synchronous Systems(Papers Selected from 2003 International Technical Conference on Circuits/Systems, Computers and Communications(ITC-CSCC 2003))
- One-Time Key Generation System for Agent Data Protection
- Acute Changes of Central Corneal Thickness According to Experimental Adjustment of Intraocular Pressure in Normal Canine Eyes