References

[1]     B. Chess, D. B. Lavo, F. J. Ferguson, and T. Larrabee. Diagnosis of realistic bridging faults with single stuck-at information. In Proceedings of International Conference on Computer Aided Design, pages 185-192, IEEE 1995.

[2]     F. Brglez and H. Fujiwara. A neutral netlist of 10 combinational benchmark circuits and a target translator in fortran. In Proceedings of the IEEE International Symposium on Circuits and Systems, 1985.

[3]     C. Hall, B. Chess, T. Larrabee, H. Manley. The Nemesis Userís Manual. On line at: http://sctest.cse.ucsc.edu/nemesis/manual/Nemesis.html

[4]     A. Jee, and F.J. Ferguson. Carafe: An Inductive Fault Analysis Tool for CMOS VLSI Circuits. In Proceedings of the 11th VLSI Test Symposium, pages 92-98, 1993.

[5]     A. Jee, D. Dahle, C. Bazeghi, F. J. Ferguson. Carafe Userís Manual Release Alpha.5. Technical Report UCSC-CRL-96-05, University of California at Santa Cruz, Computer Engineering Department, January 1996.

[6]     D. B. Lavo, T. Larrabee, and B. Chess. Beyond the Byzantine Generals: Unexpected Behavior and Bridging Fault Diagnosis. In Proceedings of the International Test Conference, pages 611-619, 1996.

[7]     S. D. Millman, E. J. McCluskey, and J. M. Acken. Diagnosing CMOS bridging faults with stuck-at fault dictionaries. In Proceedings of the International Test Conference, pages 860-870, IEEE 1992.