Affiliation: | 1. School of Science, Ningbo University of Technology, Ningbo, China;2. Department of Systems and Control Engineering, Tokyo Institute of Technology, Tokyo, Japan
Contribution: Data curation, ?Investigation, Software, Validation;3. Complex Systems Department of Computer Science, University of Surrey, Guildford, UK
Contribution: Data curation;4. School of Control Science and Engineering, Dalian University of Technology, Dalian, China |
Abstract: | This article studies an algebra-logic mixed representation of gate networks and its application to stuck-at fault diagnosis. First, the gate network is characterized through a logic expression of disjoint sum-of-products, and the system structure of the gate network is described based on 2-to-1 multiplexers. Then, by resorting to the semi-tensor product of matrices, a novel algebra-logic mixed representation is proposed for the gate network through its logic expression and system structure. Furthermore, a novel stuck-at fault diagnosis algorithm for the gate network is presented, where the stuck-at fault testability of the gate network is equivalent to the solution existence of the system of linear equations. Finally, the fault diagnosis of the 4-bit carry look-ahead adder is carried out to demonstrate the effectiveness and feasibility of the proposed theoretical approach and algorithms. |