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)

Recommendations

• scientific article
• 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

zbMATH Keywords

partial test patternstest generation of digital circuits

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Cites Work

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

Cited In (2)

• Title not available (Why is that?)
• ANALYZING MULTIPLE FAULTS IN SYNCHRONOUS SEQUENTIAL CIRCUITS BY BOOLEAN DIFFERENCE TECHNIQUES

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)