摘要
针对已有方法在求解布尔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.
作者
罗文强
王伦耀
夏银水
LUO Wenqiang;WANG Lunyao;XIA Yinshui(Faculty of Electrical Engineering and Computer Science,Ningbo University,Ningbo 315211,Zhejiang Province,China)
出处
《浙江大学学报(理学版)》
CAS
CSCD
北大核心
2018年第4期420-426,共7页
Journal of Zhejiang University(Science Edition)
基金
国家自然科学基金资助项目(61471211)
关键词
e导数
e偏导数
高阶
逻辑覆盖
逻辑不相交运算
e-derivative
e-partial derivative
high-order
logic cover
logic disjointed operation