Hierarchical multi-level fault simulation of large systems

M.A. Breuer and A.D. Friedman, Diagnosis and Reliable Design of Digital Systems. Woodland Hills, CA: Computer Science Press, 1976.

R.D. Eldred, ?Test routines based on symbolic logical statements,? J. ACM 6: 33?36, 1959.

P. Banerjee and J.A. Abraham, ?Fault characterization of VLSI MOS circuits,? Proc. IEEE Intern. Conf. Circuits and Computers, New York, pp. 564?568, September 1983.

I.N. Hajj and D.G. Saab, ?Fault modeling and logic simulation of MOS VLSI circuits based on logic expression extraction,? Proc. IEEE Intern. Conf. Computer-Aided Design, Santa Clara, CA, pp. 99?100, September 1983.

Y.M. El-Ziq, ?Failure analysis and test generation for VLSI physical effects,? 1983 Custom Integrated Circuit Conf, Rochester, NY, pp. 300?303, May 1983.

R.E. Bryant and M.D. Schuster, ?Fault simulation of MOS digital circuits,? VLSI Design 4 (6): 24?30, 1983.

M.R. Lightner and G.D. Hachtel, ?Implication algorithms for MOS switch-level function macromodeling, implication and testing,? Proc. 19th ACM Design Autom. Workshop, pp. 691?698, June 1982.

A.K. Bose, P. Kozak, C.-Y. Lo, H.N. Nham, E. Pacas-skewes, and K. Wu, ?A fault simulator for MOSLSI circuits,? Proc. 19th ACM/IEEE Design Autom. Conf., pp. 400?408, June 1982.

G. Ditlow, W. Donath, and A. Ruehli, ?Logic equations for MOSFET circuits,? Proc. IEEE Intern. Symp. Circuits and Systems, Newport Beach, CA, pp. 752?755, May 1983.

D.G. Saab, ?Logic and fault simulation of VLSI circuits including hierarchical techniques,? Ph.D. Dissertation, University of Illinois at Urbana-Champaign, 1988.

I.N. Hajj and D.G. Saab, ?Symbolic logic simulation of MOS circuits,? Proc. IEEE Intern. Symp. Circuits and Systems, Newport Beach, CA, pp. 246?249, May 1983.

R.E. Bryant, D. Beatty, K. Brace, K. Cho, and T. Scheffler, ?COSMOS: A Compiled Simulator for MOS Circuits,? Proc. 24th ACM/IEEE Design Autom. Conf., pp. 9?16, 1987.

D.T. Blaauw, D.G. Saab, R.B. Mueller-Thuns, J.T. Rahmeh, and J.A. Abraham, ?Automatic generation of behavioral models from switch-level descriptions,? Proc. 26th ACM/IEEE Design Autom. Conf., Las Vegas, NV, pp. 179?184, June 1989.

W.A. Rogers and J.A. Abraham, ?CHIEFS: A concurrent, hierarchical and extensible fault simulator,? Proc Intern. Test Conf., Philadelphia, pp. 710?716, November 1985.

D.D Hill and W.M. Van Cleemput, ?SABLE: Multilevel simulation for hierarchical design,? Proc. IEEE Intern. Symp. Circuits and Systems, Houston, TX, pp. 361?365, April 1980.

Motorola Corporation, MC68000 Programmer's Reference Manual, Englewood Cliffs, NJ: Prentice-Hall, 1986.

L. Jones, ?Fast online/offline netlist compilation of hierarchical schematics,? Proc. 26th ACM/IEEE Design Autom. Conf., Las Vegas, NV, pp. 822?825, June 1989.

R.E. Bryant, ?A switch-level model and simulator for MOS digital systems,? IEEE Trans. Comput. C-33, pp. 160?177, 1984.

R.H. Byrd, G.D. Hachtel, M.R. Lightner, and M.H. Heydemann, ?Switch level simulation: models, theory, and algorithms.? In Advances in Computer-Aided Engineering Design, ed., A.L. Sangiovanni-Vincentelli. JAI Press, Greenwich, CT, pp. 93?148, 1985.

E.B. Eichelberger, ?Hazard detection in combinational and sequential switching circuits,? IBM J. Res. Develop. 9 (2): 90?99, March 1965.

J.A. Brzozowski and M. Yoeli, ?On a ternary model of gate networks,? IEEE Trans. Comput. C-28, No. 3, pp. 178?184, March 1979.

HHB Inc., CADAT user's Manual. HHB Inc., Mahwah, NJ, 1987.

SimuCad, SILOS User's Manual. SimuCad, Incline Village, NV, 1984.

T.M. McWilliams, J.B. Rubin, L.C. Widdoes, and S. Correl, SCALD User's Manual. Berkeley, CA, Lawrence Livermore Laboratory, 1979, Annual Report, S-1 Project.

F. Brglez and H. Fujiwara, ?A neutral netlist of 10 combinational benchmark circuits and a target translator in Fortran,? Proc. Intern. Test Conf., Philadelphia, pp. 785?794, 1985.