Title :
A Method for Logic Circuit Test Generation Based on Boolean Partial Derivative and BDD
Author :
Changqian, Wang ; Chenghua, Wang
Author_Institution :
Nanjing Univ. of Aeronaut. & Astronaut., Nanjing, China
fDate :
March 31 2009-April 2 2009
Abstract :
A method based on the binary decision diagrams (BDD) and Boolean partial derivative for fault test pattern generation is proposed because traditional test pattern generation is difficult to program. This method uses the Shannon expansion to generate BDD from the Boolean expression of logic circuit and develops the XOR operation on BDDs. The single stuck-at fault test pattern generation algorithm is based on BDD and Boolean difference. The double stuck-at faults test BDD is changed into XOR operations on three single stuck-at faults test BDDs, two of which are single stuck-at faults test BDDs and the other is new generated. A recursive algorithm for multiple stuck-at faults test BDD is brought up to do with double stuck-at faults test BDDs. Test vectors are generated from BDD traversal. The results show that this method is effective to generate test vectors of stuck-at faults. It reduces the cost of time and space.
Keywords :
Boolean algebra; automatic test pattern generation; binary decision diagrams; fault diagnosis; logic circuits; logic testing; BDD; Boolean difference; Boolean partial derivative; Shannon expansion; XOR operation; binary decision diagrams; double stuck-at fault test; logic circuit test generation; stuck-at fault test pattern generation algorithm; test vector generation; Automatic test pattern generation; Binary decision diagrams; Boolean functions; Circuit faults; Circuit testing; Combinational circuits; Data structures; Logic circuits; Logic testing; Test pattern generators;
Conference_Titel :
Computer Science and Information Engineering, 2009 WRI World Congress on
Conference_Location :
Los Angeles, CA
Print_ISBN :
978-0-7695-3507-4
DOI :
10.1109/CSIE.2009.44
