An algorithm for calculating the high-order Boolean e-partial derivative of logic function(逻辑函数高阶布尔e偏导数求解算法的实现)

LUOWenqiang(罗文强); WANGLunyao(王伦耀); XIAYinshui(夏银水)

doi:10.3785/j.issn.1008-9497.2018.04.008

Zhejiang Daxue xuebao. Lixue ban (Jul 2018)

An algorithm for calculating the high-order Boolean e-partial derivative of logic function(逻辑函数高阶布尔e偏导数求解算法的实现)

LUOWenqiang(罗文强),
WANGLunyao(王伦耀),
XIAYinshui(夏银水)

Affiliations

LUOWenqiang(罗文强): ORCiD; Faculty of Electrical Engineering and Computer Science, Ningbo University, Ningbo 315211, Zhejiang Province, China(宁波大学信息科学与工程学院，浙江宁波 315211)
WANGLunyao(王伦耀): ORCiD; Faculty of Electrical Engineering and Computer Science, Ningbo University, Ningbo 315211, Zhejiang Province, China(宁波大学信息科学与工程学院，浙江宁波 315211)
XIAYinshui(夏银水): Faculty of Electrical Engineering and Computer Science, Ningbo University, Ningbo 315211, Zhejiang Province, China(宁波大学信息科学与工程学院，浙江宁波 315211)

DOI: https://doi.org/10.3785/j.issn.1008-9497.2018.04.008
Journal volume & issue: Vol. 45, no. 4
pp. 420 – 426

Abstract

Read online

针对已有方法在求解布尔e偏导数时只能解决小规模电路的问题，提出了一种基于逻辑函数不相交运算的大函数高阶布尔e偏导数的求解算法.该方法将逻辑函数转化为不相交乘积项的集合，用逻辑函数的不相交运算替代布尔e导数运算中的逻辑“与”运算；并将不包含待求导变量的乘积项拆分出来，不参与布尔e导数运算，以达到降低算法复杂度、提高算法速度的目的.提出的算法用C语言编程实现，并用MCNC测试电路进行了测试.实验结果显示，本算法能快速实现大函数高阶布尔e偏导数的求解，求解效率与参与不相交运算的乘积项数量有关，但对输入变量的数量不敏感.

Published in Zhejiang Daxue xuebao. Lixue ban

ISSN: 1008-9497 (Print)
Publisher: Zhejiang University Press
Country of publisher: China
LCC subjects: Science: Mathematics: Instruments and machines: Electronic computers. Computer science; Science: Physics
Website: https://www.zjujournals.com/sci/EN/1008-9497/home.shtml

About the journal

Abstract

Keywords