Binary decision diagram can be used to give canonical representation to logic functions and manipulate functions by
simple and efficient graph algorithms. In this paper, the generation of test pattern based on binary decision diagrams is
studied for stuck-at faults and crosstalk faults in digital circuits. The binary decision diagrams corresponding to the
normal circuit and faulty circuit are built, respectively. A binary decision diagram is built by the XOR operation of the
two binary decision diagrams, each input assignment that leads to the leaf node labeled 1 is a test vector of the faults.
Besides, the binary decision diagram is very sensitive to the variable ordering, the variable ordering used can have a
significant impact on the number of nodes. A chaotic genetic algorithms is presented in this paper, which is used to find
a variable ordering that minimizes the size of a binary decision diagram to get the test vectors of the faults in digital
circuits in the shortest possible test time. Experimental results obtained with a lot of digital circuits show that all the test
vectors of a fault can be obtained using the method presented in this paper.
Access to the requested content is limited to institutions that have purchased or subscribe to SPIE eBooks.
You are receiving this notice because your organization may not have SPIE eBooks access.*
*Shibboleth/Open Athens users─please
sign in
to access your institution's subscriptions.
To obtain this item, you may purchase the complete book in print or electronic format on
SPIE.org.
INSTITUTIONAL Select your institution to access the SPIE Digital Library.
PERSONAL Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.