Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Design and Synthesis for Testability

Energy minimization and design for testability

Srimat T. Chakradhar1, Vishwani D. Agrawal2 and Michael L. Bushnell3

(1) C&C Laboratories, NEC-USA, 4 Independence Way, 08540 Princeton, NJ
(2) AT&T Bell Laboratories, 07974 Murray Hill, NJ
(3) CAIP Research Center, Rutgers University, 08855-1390 Piscataway, NJ

Received: 9 April 1993  Revised: 27 August 1993  

Abstract  The problem of fault detection in general combinational circuits is NP-complete. The only previous result on identifying easily testable circuits is due to Fujiwara who gave a polynomial time algorithm for detecting any single stuck fault inK-bounded circuits. Such circuits may only contain logic blocks with no more thanK input lines and the blocks are so connected that there is no reconvergent fanout among them. We introduce a new class of combinational circuits called the (k, K)-circuits and present a polynomial time algorithm to detect any single or multiple stuck fault in such circuits. We represent the circuit as an undirected graphG with a vertex for each gate and an edge between a pair of vertices whenever the corresponding gates have a connection. For a (k, K)-circuit,G is a subgraph of ak-tree, which, by definition, cannot have a clique of size greater thank+1. Basically, this is a restriction on gate interconnections rather than on the function of gates comprising the circuit. The (k, K)-circuits are a generalization of Fujiwara''sK-bounded circuits. Using the bidirectional neural network model of the circuit and the energy function minimization formulation of the fault detection problem, we present a test generation algorithm for single and multiple faults in (k, K)-circuits. This polynomial time aggorithm minimizes the energy function by recursively eliminating the variables.

Keywords  Combinational logic circuits - digital testing - energy minimization - graph theory - neural networks


Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this article
Export this article as RIS | Text
 
Referenced by
1 newer article

  1. Jianzhou, Zhang (1996) Decision of optimal hopfield neural network model of combinational circuits. Journal of Electronics (China) 13(3)
    [CrossRef]
Remote Address: 38.107.191.111 • Server: mpweb21
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)