Boolean derivative calculation with application to fault detection of combinational circuits via the semi-tensor product method

Using the semi-tensor product method, this paper investigates the Boolean derivative calculation with application to fault detection of combinational circuits, and presents a number of new results. First, a new set of formulas is obtained to calculate the Boolean derivative by the semi-tensor product method. Then, the obtained new results are applied to detecting the multiple faults of combinational circuits, and a new detection method is proposed. Finally, two illustrative examples are studied by using the results obtained in this paper. The study of illustrative examples shows that the new detection method can be used for detection of more than two faults effectively.

[1]  Amita Pal,et al.  Computers and Mathematics with Applications Investigation of the Global Dynamics of Cellular Automata Using Boolean Derivatives , 2022 .

[2]  J. Paul Roth,et al.  Techniques for the diagnosis of switching circuit failures , 1961, SWCT.

[3]  Lian Yi-qun.  Tabular method of calculating Boolean difference and partial derivative of logical functions , 2006 .

[4]  Dimitris Gizopoulos,et al.  Gizopoulos / Advances in ElectronicTesting , 2006 .

[5]  Daizhan Cheng,et al.  A Linear Representation of Dynamics of Boolean Networks , 2010, IEEE Transactions on Automatic Control.

[6]  Dimitris Gizopoulos.  Advances in electronic testing : challenges and methodologies , 2006 .

[7]  Jaakko Astola,et al.  Boolean derivatives, weighted Chow parameters, and selection probabilities of stack filters , 1996, IEEE Trans. Signal Process..

[8]  Vishwani D. Agrawal,et al.  Essentials of electronic testing for digital, memory, and mixed-signal VLSI circuits [Book Review] , 2000, IEEE Circuits and Devices Magazine.

[9]  Sos S. Agaian,et al.  Boolean Derivatives With Application to Edge Detection for Imaging Systems , 2010, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[10]  Bünyamin Yildiz,et al.  An interpreter for the Boolean derivative , 2002, Appl. Math. Comput..

[11]  Irving S. Reed,et al.  A class of multiple-error-correcting codes and the decoding scheme , 1954, Trans. IRE Prof. Group Inf. Theory.

[12]  Hideo Fujiwara,et al.  The Complexity of Fault Detection Problems for Combinational Logic Circuits , 1982, IEEE Transactions on Computers.

[13]  Daizhan Cheng,et al.  Disturbance Decoupling of Boolean Control Networks , 2011, IEEE Transactions on Automatic Control.

[14]  YU Dang-jun.  Graphic method calculating Boolean difference based on K-map. , 2002 .

[15]  Daizhan Cheng,et al.  Controllability and observability of Boolean control networks , 2009, Autom..

[16]  Wang Chenghua,et al.  A Method for Logic Circuit Test Generation Based on Boolean Partial Derivative and BDD , 2009, 2009 WRI World Congress on Computer Science and Information Engineering.

[17]  Chen Xie-xiong.  New method testing the double fault of combinational circuits based on Boolean partial derivative. , 2003 .

[18]  Daizhan Cheng,et al.  State–Space Analysis of Boolean Networks , 2010, IEEE Transactions on Neural Networks.

[19]  Jr. Sheldon B. Akers,et al.  On a Theory of Boolean Functions , 1959 .

[20]  D. Cheng,et al.  Analysis and control of Boolean networks: A semi-tensor product approach , 2010, 2009 7th Asian Control Conference.

[21]  André Thayse,et al.  Boolean Differential Calculus and its Application to Switching Theory , 1973, IEEE Transactions on Computers.

[22]  Daizhan Cheng,et al.  Realization of Boolean control networks , 2010, Autom..