An efficient algorithm for calculating Boolean difference

DOI10.1007/BF02943299zbMath0592.94026MaRDI QIDQ1075992

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)

Cites Work

• Unnamed Item
• The Boolean Difference and Multiple Fault Analysis
• Boolean Differential Calculus and its Application to Switching Theory
• Diagnosis of Automata Failures: A Calculus and a Method
• 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
• On a Theory of Boolean Functions

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