Automatic Test Pattern Generation Through Boolean Satisfiability for Testing Bridging Faults
Automatic Test Pattern Generation Through Boolean Satisfiability for Testing Bridging Faults is a scholarly work, published in 2019 in ''Journal of Circuits, Systems and Computers''. The main subjects of the publication include boolean satisfiability problem, fault, combinational logic, Automatic test pattern generation, Stuck-at fault, field-programmable gate array, network bridge, electronic circuit, failure analysis, Boolean circuit, Fault coverage, computer science, testability, Boolean function, logic gate, satisfiability, algorithm, and digital electronics. The experimental results presented at the end of this paper indicate the effectiveness and usefulness of this method for testing the bridging faults..