逻辑函数高阶布尔e偏导数求解算法的实现  

An algorithm for calculating the high-order Boolean e-partial derivative of logic function

作　　者：罗文强 王伦耀[1] 夏银水[1] LUO Wenqiang;WANG Lunyao;XIA Yinshui(Faculty of Electrical Engineering and Computer Science,Ningbo University,Ningbo 315211,Zhejiang Province,China)

机构地区：[1]宁波大学信息科学与工程学院,浙江宁波315211

出　　处：《浙江大学学报（理学版）》2018年第4期420-426,共7页Journal of Zhejiang University（Science Edition）

基　　金：国家自然科学基金资助项目(61471211)

摘　　要：针对已有方法在求解布尔e偏导数时只能解决小规模电路的问题,提出了一种基于逻辑函数不相交运算的大函数高阶布尔e偏导数的求解算法.该方法将逻辑函数转化为不相交乘积项的集合,用逻辑函数的不相交运算替代布尔e导数运算中的逻辑"与"运算;并将不包含待求导变量的乘积项拆分出来,不参与布尔e导数运算,以达到降低算法复杂度、提高算法速度的目的.提出的算法用C语言编程实现,并用MCNC测试电路进行了测试.实验结果显示,本算法能快速实现大函数高阶布尔e偏导数的求解,求解效率与参与不相交运算的乘积项数量有关,但对输入变量的数量不敏感.To cope with the problem that the existing algorithms are unable to calculate the high-order e-partial derivative of the Boolean functions with large inputs,an effective algorithm based on the logic disjointed operation between two logic functions is proposed.In the proposed algorithm,the products of the logic functions are firstly converted into the disjointed products,and the logic cover disjointed operation is used to replace the“AND”operation between two logic functions in e-partial derivation.The disjointed products which don t contain the variables taken for derivation are then identified and excluded from the further derivation.The proposed algorithm is implemented in C and tested under MCNC benchmarks.Experimental results show that the proposed algorithm can carry out the results quickly for the large functions.And its running time is related to the number of the products in the disjointed operation,but is less affected by the number of input variables.

关 键 词：e导数 e偏导数 高阶 逻辑覆盖 逻辑不相交运算 

分 类 号：TP331[自动化与计算机技术—计算机系统结构]