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

摘要：

针对已有方法在求解布尔c-偏导数时只能解决小规模电路的问题,提出一种基于变量操作运算的大函数高阶布尔c-偏导数求解算法.首先将高阶布尔c-偏导数求解运算转化为逻辑函数的展开运算;然后根据乘积项是否包含需要展开的变量将函数分解成需要展开和不需要展开的二部分,进一步提高算法的速度.文中算法用C语言编程实现,并用MCNC测试电路进行了测试,结果表明,该算法能快速实现大函数高阶c-偏导数的求解;其效率与函数拆分的结果有关,但对输入变量的数量不敏感.

关键词：布尔c-导数、布尔c-偏导数、高阶、位运算

所属期刊栏目：29

分类号：TP391.41(计算技术、计算机技术)

资助基金：国家自然科学基金61471211,61501268;国家自然科学基金重点项目61131001

在线出版日期：2017-10-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1557-1562