| 逻辑函数高阶布尔e偏导数求解算法的实现 |
| |
| 引用本文： | 罗文强,王伦耀,夏银水.逻辑函数高阶布尔e偏导数求解算法的实现[J].浙江大学学报(理学版),2018,45(4):420-426. |
| |
| 作者姓名： | 罗文强 王伦耀 夏银水 |
| |
| 作者单位： | 宁波大学 信息科学与工程学院, 浙江 宁波 315211 |
| |
| 基金项目： | 国家自然科学基金资助项目（61471211）. |
| |
| 摘 要： | 针对已有方法在求解布尔e偏导数时只能解决小规模电路的问题,提出了一种基于逻辑函数不相交运算的大函数高阶布尔e偏导数的求解算法.该方法将逻辑函数转化为不相交乘积项的集合,用逻辑函数的不相交运算替代布尔e导数运算中的逻辑"与"运算;并将不包含待求导变量的乘积项拆分出来,不参与布尔e导数运算,以达到降低算法复杂度、提高算法速度的目的.提出的算法用C语言编程实现,并用MCNC测试电路进行了测试.实验结果显示,本算法能快速实现大函数高阶布尔e偏导数的求解,求解效率与参与不相交运算的乘积项数量有关,但对输入变量的数量不敏感.
|
| 关 键 词： | e导数 e偏导数 高阶 逻辑覆盖 逻辑不相交运算 |
| 收稿时间： | 2016-10-13 |
An algorithm for calculating the high-order Boolean e-partial derivative of logic function |
| |
| LUO Wenqiang,WANG Lunyao,XIA Yinshui.An algorithm for calculating the high-order Boolean e-partial derivative of logic function[J].Journal of Zhejiang University(Sciences Edition),2018,45(4):420-426. |
| |
| Authors: | LUO Wenqiang WANG Lunyao XIA Yinshui |
| |
| Affiliation: | Faculty of Electrical Engineering and Computer Science, Ningbo University, Ningbo 315211, Zhejiang Province, China |
| |
| Abstract: | 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. |
| |
| Keywords: | e-derivative e-partial derivative high-order logic cover logic disjointed operation |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《浙江大学学报(理学版)》浏览原始摘要信息 |
|
点击此处可从《浙江大学学报(理学版)》下载全文 |
|
