×
蒋英涛；王宇科；宋晓宇；Y.萨瓦利亚。

计算由OBDD表示的布尔函数的信号输出概率。 （英语） Zbl 1061.94555号

计算。数学。申请。 47，第12期，1865-1874（2004）.
摘要：在[D.M.米勒，计算广义谱系数的改进方法，IEEE Trans。计算。辅助设计17，1328–1341（1998）]和[M.A.桑顿和V.S.S.奈尔《频谱系数的高效计算及其应用》，IEEE Trans。计算。辅助设计14，1328–1341（1995）]，提出了两种算法来计算由OBDD表示的布尔函数的输出概率，假设输入变量是等概率的，并且每个变量在统计上独立于其他变量。在本文中，我们指出，在这些假设下，输出概率的计算相当于计算相应布尔函数的minterm的数量。提出了一种使用简单整数算法计算输出概率的算法，而不是上述论文中涉及的浮点算法。为了计算由共享OBDI和带边缘否定的OBDD表示的布尔函数的输出概率，我们进一步提出了一种广义算法。

MSC公司：

94立方厘米 交换理论，布尔代数的应用；布尔函数（MSC2010）
94甲12 信号理论（表征、重建、滤波等）
06E30年 布尔函数

关键词：

布尔值；整数算术；OBDD公司；输出概率；有序二元决策图
PDF格式BibTeX公司 XML格式引用
\textit{Y.Jiang}等人，计算。数学。申请。47，第12号，1865-1874（2004；Zbl 1061.94555）
全文： 内政部

参考文献：

[1] Miller，D.M.，计算广义谱系数的改进方法，IEEE Trans。计算机辅助设计，171328-1341（1998年3月）
[2] 桑顿医学硕士。；Nair，V.S.S.，频谱系数的有效计算及其应用，IEEE Trans。计算机辅助设计，14328-1341（1995年11月）
[3] Fornaciari，W。；Gebian，P。；Sciuto，D。；Silvano，C.，嵌入式系统的功率估计：硬件/软件代码设计方法，IEEE Trans。超大规模集成系统，6266-275（1998年6月）
[4] Najm，F.N.，《超大规模集成电路功率估计技术综述》，IEEE Trans。超大规模集成系统，2446-455（1994年12月）
[5] 罗伊·K。；Prasad，S.C.，低功耗CMOS VLSI电路设计（2000），John Wiley and Sons：John Willey and Sons Canada，第3章
[6] 蒂瓦里，V。；阿沙尔，P。；Malik，S.，逻辑合成中低功耗的技术映射，VLSI杂志，20，3（1996）·Zbl 0875.94131号
[7] Marde，J。；Billon，J.，《使用预期行为和提取行为之间的形式比较证明电路正确性》（Proc.ACM/IEEE Design Automation Conference（1988）），205-210
[8] 帕克，K.P。；McCluskey，E.J.，一般组合网络的概率处理，IEEE Trans。计算机，24，68-670（1975年6月）·Zbl 0311.94032号
[9] Akers，S.，二进制决策图，IEEE Trans。计算机，27509-516（1978年6月）·Zbl 0377.94038号
[10] Brace，K.S。；Rudell，R.L。；Bryant，R.E.，BDD包的高效实现，（ACM/IEEE设计自动化会议（1990），40-45
[11] Bryant，R.E.，布尔函数操作的基于图形的算法，IEEE Trans。计算机，35677-691（1986年8月）·Zbl 0593.94022号
[12] Minato，S。；北石村。；Yajima，S.，用于有效布尔函数操作的具有属性边的共享二进制决策图，（美国机械工程师协会/电气工程师协会设计自动化会议（1990）），52-57
[13] 德克萨斯仪器公司，TMS320C62X/C67X技术简介，加拿大MicroTech。；德克萨斯仪器公司，TMS320C62X/C67X技术简介，加拿大MicroTech。
[14] 江，Y。；Wang，Y。；Savaria，Y.，《评估无浮点运算的布尔函数的输出概率》（加拿大电气和计算机工程会议论文集（1999年））
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。