论文信息 - Deductive Fault Simulation with Functional Blocks

Deductive Fault Simulation with Functional Blocks

This paper presents a method of propagating the effects of faults through functional blocks using the deductive (fault list) technique. An extension of the method is shown to be effective for simulating internal faults in functional blocks. The techniques presented here have been used for implementing the functional simulation capability in the Logic Analysis for Maintenance Planning (LAMP) System at Bell Laboratories.

Premachandran R. Menon | P. R. Menon | Stephen G. Chappell | S. Chappell

[1] Douglas B. Armstrong,et al. A Deductive Method for Simulating Faults in Logic Circuits , 1972, IEEE Transactions on Computers.

[2] T. G. Hallin,et al. Lamp: Application to switching-system development , 1974 .

[3] Herbert Yu-Pangchang. Comparison ofParallel andDeductive Fault Simulation Methods , 1974 .

[4] Donald Ervin Knuth,et al. The Art of Computer Programming , 1968 .

[5] G. W. Smith,et al. Lamp: System description , 1974 .

[6] Premachandran R. Menon,et al. Functional simulation in the lamp system , 1976, DAC '76.

[7] Herbert Y. Chang,et al. Comparison of Parallel and Deductive Fault Simulation Methods , 1974, IEEE Transactions on Computers.

[8] Steve Krosner. Review of "Fault Diagnosis of Digital Systems by H. Y. Chang, E. Manning, G. Metze", Wiley-InterScience 1970 , 1971, SIGD.

[9] G. Metze,et al. Fault diagnosis of digital systems , 1970 .

[10] Stephen A. Szygenda,et al. A model and implementation of a universal time delay simulator for large digital nets , 1970, AFIPS '70 (Spring).

[11] Arthur D. Friedman,et al. Fault detection in digital circuits , 1971 .

[12] R. J. Suhocki,et al. Design and Use of Fault Simulation for Saturn Computer Design , 1967, IEEE Trans. Electron. Comput..

[13] Sundaram Seshu,et al. On an Improved Diagnosis Program , 1965, IEEE Trans. Electron. Comput..

[14] S. G. Chappell,et al. Lamp: Logic-circuit simulators , 1974 .