Computation of signal output probability for Boolean functions represented by OBDD

DOI10.1016/j.camwa.2003.08.004zbMath1061.94555OpenAlexW2084213867MaRDI QIDQ1767902

Yingtao Jiang, Yuke Wang, Xiaoyu Song, Yvon Savaria

Publication date: 8 March 2005

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.camwa.2003.08.004

zbMATH Keywords

OBDDBooleanordered binary decision diagramInteger arithmeticOutput probability

Mathematics Subject Classification ID

Signal theory (characterization, reconstruction, filtering, etc.) (94A12) Boolean functions (06E30)

Cites Work

• Graph-Based Algorithms for Boolean Function Manipulation
• Probabilistic Treatment of General Combinational Networks
• Binary Decision Diagrams
• Technology mapping for low power in logic synthesis

This page was built for publication: Computation of signal output probability for Boolean functions represented by OBDD