Synthesis for testability: Binary Decision Diagrams
From MaRDI portal
Publication:5096806
DOI10.1007/3-540-55210-3_208zbMath1494.94059MaRDI QIDQ5096806
Publication date: 18 August 2022
Published in: STACS 92 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-55210-3_208
94C12: Fault detection; testing in circuits and networks
94C11: Switching theory, applications of Boolean algebras to circuits and networks
Uses Software
Cites Work