Testability measures with concurrent good simulation

Methods designed to speed up the computation of controllability within an event-driven fault-free simulation environment are described. Input generation techniques are presented which reduce the activity of the simulator, thus achieving a considerable speed-up. Concurrent simulation of fault-free devices is shown to be very effective in this domain. Experimental results are reported for benchmark circuits. No general law has been derived, but a rich set of heuristics has been collected which may be useful in many other cases.<<ETX>>

[1]  André Ivanov,et al.  Testability Measures : What Do They Do for ATPG ? , 1986, ITC.

[2]  F. Brglez,et al.  A neutral netlist of 10 combinational benchmark circuits and a target translator in FORTRAN , 1985 .

[3]  Francis C. Wang,et al.  A Method for Test Generation Directly from Testability Analysis , 1985, ITC.

[4]  Ioannis G. Tollis,et al.  Improved Techniques for Estimating Signal Probabilities , 1989, IEEE Trans. Computers.

[5]  Vishwani D. Agrawal,et al.  A Statistical Theory of Digital Circuit Testability , 1990, IEEE Trans. Computers.

[6]  Silvano Gai,et al.  Advances in Concurrent Multilevel Simulation , 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[7]  R. G. Bennetts,et al.  Erratum: CAMELOT: a computer-aided measure for logic testability , 1981 .

[8]  Paolo Prinetto,et al.  Random testability analysis: comparing and evaluating existing approaches , 1988, Proceedings 1988 IEEE International Conference on Computer Design: VLSI.

[9]  Prabhakar Goel Test generation costs analysis and projections , 1980, DAC '80.

[10]  Gary S. Ditlow,et al.  Random Pattern Testability , 1984, IEEE Transactions on Computers.

[11]  R. G. Bennetts,et al.  CAMELOT: A Computer-Aided Measure for Logic Testability , 1981 .

[12]  Vishwani D. Agrawal,et al.  AN EXACT ANALYSIS FOR EFFICIENT COMPUTATION OF RANDOM-PATTERN TESTABILITY IN COMBINATIONAL CIRCUITS , 1986 .

[13]  John Grason,et al.  TMEAS, A Testability Measurement Program , 1979, 16th Design Automation Conference.

[14]  Ernst G. Ulrich,et al.  Concurrent simulation of nearly identical digital networks , 1973, Computer.

[15]  Jacob Savir,et al.  On Random Pattern Test Length , 1984, IEEE Transactions on Computers.

[16]  Sunil Jain,et al.  Statistical Fault Analysis , 1985, IEEE Design & Test of Computers.

[17]  Edward J. McCluskey,et al.  Pseudorandom Testing , 1987, IEEE Transactions on Computers.

[18]  Ernst G. Ulrich,et al.  Concurrent simulation of nearly identical digital networks , 1974, Computer.