×

用二元决策图定义的不完全指定布尔函数系统的分解。 (英语。俄文原件) Zbl 1325.94173号

自动。远程控制 75,第7期,1173-1194(2014)Avtom翻译。Telemekh公司。2014年,第7期,17-42(2014)。
摘要:我们提出了一种分解方法,用于表示为二进制决策图的不完全指定布尔函数的系统。在这种分解中最小化中间函数的数量旨在提高由库元素构成的布尔电路的性能。我们方法的一个特点是,在对原始二元决策图进行分解(切割)后,两个分解单元中的一个单元表示为DNF系统。

MSC公司:

94立方厘米 交换理论,布尔代数的应用;布尔函数(MSC2010)
94C15号机组 图论在电路和网络中的应用
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Tanaev,V.S.和Povevah,M.P.,Sintez graf-skhem algoritmov vybora reshenii(决策算法的流程图合成),明斯克:Nauka i Tekhnika,1974年。
[2] Blokh,A.Sh.,Graf skhemy i ikh primennie(流程图及其应用),明斯克:Vysheishaya Shkola,1975。
[3] 库兹涅佐夫,《逻辑函数和自动机的程序实现》。一、 二、自动。遥控,1977年,第38卷,第7期,第2部分,第1077-1088页;第9期,第2部分,第1385-1396页·Zbl 0416.68046号
[4] Akers,S.B.,二进制决策图,IEEE Trans。计算。,1978年,第27卷,第6期,第509-516页·Zbl 0377.94038号 ·doi:10.1109/TC.1978.1675141
[5] Bryant,R.E.,《布尔函数操作的基于图形的算法》,IEEE Trans。计算。,1986年,第35卷,第8期,第677-691页·Zbl 0593.94022号 ·doi:10.1109/TC.1986.1676819
[6] RE布莱恩特;梅内尔,C。;Hassoun,S.(编辑);Sasao,T.(编辑);Brayton,RK(编辑),有序二元决策图(2002),波士顿·Zbl 0995.68105号
[7] Meinel,C.和Theobald,T.,《超大规模集成电路设计中的算法和数据结构:OBDD-基础和应用》,柏林:施普林格-弗拉格出版社,1998年·Zbl 0899.68040号 ·doi:10.1007/978-3-642-58940-9
[8] Yu Karpov。G.模型检查。Verifikatsiya parallel'nykh i raspredelenykh programmnykh-sistem(模型检查。并行和分布式软件系统的验证),圣彼得堡:BKhVPeterburg,2010年。
[9] Bibilo,P.N.,Dekompozitsiya bulevykh funktsii na osnove resheniya logicheskikh uravnenii(基于逻辑方程求解的布尔函数分解),明斯克:白俄罗斯。Navuka,2009年。
[10] Zakrevskii,A.D.,Logicheskii sintez kaskadnykh skhem(级联电路的逻辑合成),莫斯科:瑙卡,1981年。
[11] Sasao,T。;Sasao,T.(编辑);Fujita,M.(编辑),通过广义功能分解进行FPGA设计,233-258(1996),波士顿·doi:10.1007/978-1-4613-1385-4
[12] Scholl,C.,《功能分解及其在FPGA合成中的应用》,波士顿:Kluwer出版社,2001年·Zbl 0989.94003号 ·doi:10.1007/978-1-4757-3393-8
[13] Bibilo,P.N.和Romanov,V.I.,Logicheskoe proektirovanie diskretnykh ustroistv的ispol'zovaniem produktsionnofrimovoi modeli predstaveleniya znanii(离散器件逻辑设计与产品框架知识表示模型),明斯克:白俄罗斯。Navuka,2011年。
[14] Cortadella,J.,《时序驱动逻辑双分解》,IEEE Trans。计算-辅助设计集成。电路系统。,2003年,第22卷,第6期,第675-685页·doi:10.10109/TCAD.2003.811447
[15] Yang,S.和Ciesielski,M.,BDS:基于BDD的逻辑优化系统,IEEE Trans。计算-辅助设计集成。电路系统。,2002年,第21卷,第7期,第866-876页·doi:10.1109/TCAD.2002.1013899
[16] 比比洛,PN;Leonchik,PV,二进制决策图定义的布尔函数系统的分解,86-101(2011)
[17] Shneider,AA,启发式图顶点着色算法的分析和分类,15-22(1984)
[18] Bibilo,P.N.和Enin,S.V.,Sintez kombinatsionnykh skhem metodami funktsional'noi dekompozitsii(用功能分解方法合成组合电路),明斯克:Nauka i Tekhnika,1987年。
[19] Knuth,D.E.,《计算机编程的艺术》,第4A卷:组合算法,第1部分,阅读:Addison-Wesley,2011年。翻译标题为Iskusstvo programmirovaniya,tom 4,A.Kombinatornye algoritmy,ch.1,Moscow:Vil'yams,2013·Zbl 1354.68001号
[20] Stojkovich,S.、Stancović,M.和Stancovič,R.,《用二元决策图确定紧凑表示的不完全指定布尔函数赋值》,第10期国际布尔问题研讨会。,2012年9月19日至21日,弗莱堡(Sachsen),第233-238页。
[21] Gavrilov,M.A.,Devyatkov,V.V.和Pupyrev,E.I.,Logicheskoe proektirovanie diskretnykh avtomatov(离散自动机的逻辑设计),莫斯科:瑙卡,1977年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。