Bypassing BDD construction for reliability analysis
- 31 July 2000
- journal article
- research article
- Published by Elsevier in Information Processing Letters
- Vol. 75 (1-2) , 85-89
- https://doi.org/10.1016/s0020-0190(00)00082-x
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Equivalence checking of combinational circuits using Boolean expression diagramsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1999
- Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within AraliaReliability Engineering & System Safety, 1997
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986