An efficient algorithm for calculating Boolean difference

DOI10.1007/BF02943299zbMATH Open0592.94026MaRDI QIDQ1075992FDOQ1075992

Authors Daozheng Wei

Publication date 1986

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

zbMATH Keywords

partial test patternstest generation of digital circuits

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Recommendations

• scientific article; zbMATH DE number 3693166
• scientific article; zbMATH DE number 1694753
• scientific article; zbMATH DE number 2247811
• scientific article; zbMATH DE number 2119676
• scientific article; zbMATH DE number 4083547
• Fast computing the algebraic degree of Boolean functions
• An improved algorithm for Boolean matrix multiplication
• Algorithms for Boolean Function Query Properties
• A practical algorithm for Boolean matrix multiplication

Cites work

• scientific article; zbMATH DE number 3590198 (Why is no real title available?)
• An Efficient Algorithm for Generating Complete Test Sets for Combinational Logic Circuits
• Analyzing Errors with the Boolean Difference
• Boolean Difference for Fault Detection in Asynchronous Sequential Machines
• Boolean Differential Calculus and its Application to Switching Theory
• Diagnosis of Automata Failures: A Calculus and a Method
• On a Theory of Boolean Functions
• Path Sensitization, Partial Boolean Difference, and Automated Fault Diagnosis
• The Boolean Difference and Multiple Fault Analysis

Cited in

(2)

• ANALYZING MULTIPLE FAULTS IN SYNCHRONOUS SEQUENTIAL CIRCUITS BY BOOLEAN DIFFERENCE TECHNIQUES
• scientific article; zbMATH DE number 2058394 (Why is no real title available?)

This page was built for publication: An efficient algorithm for calculating Boolean difference

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1075992)