Location of Repository

Exciting stuck-open faults in CMOS circuits using . . .

By Fadi Aloul, Assim Sagahyroon and Bashar Al Rawi

Abstract

To excite a stuck-open fault in a CMOS combinational circuit, it is only necessary that the output of the gate containing the fault takes on opposite values during the application of two successive input vectors to the primary inputs of the circuit. In this paper we formulate the excitation problem as an ILP instance and use two advanced ILP solvers, one is Boolean satisfiability (SAT)-based and the other is generic, to search for a pair of input vectors that maximizes the simultaneous excitation of as many stuck-open faults in the circuit as possible. The proposed approach was tested using benchmarks from the ISCAS 89 suite of circuits. Experimental results indicate that fault-excitation, within a reasonable CPU time limit, is possible in most cases

Year: 2010
OAI identifier: oai:CiteSeerX.psu:10.1.1.173.5754
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.aloul.net/Papers/fa... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.