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

• 作者: 夏银水 王伦耀 罗文强
• 来源期刊: 浙江大学学报（理学版）
• 学科: 工学
• 关键词: e导数 e偏导数 高阶 逻辑覆盖 逻辑不相交运算
• 年，卷（期）: 2018,（4）
• 所属期刊栏目: 电子科学
• 页码范围: 420-426
• 页数: 7页
• 分类号: TP331
• 字数: 5560字
• 语种: 中文
• DOI: 10.3785/j.issn.1008-9497.2018.04.008

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	夏银水	宁波大学信息科学与工程学院	101	345	9.0	13.0
2	王伦耀	宁波大学信息科学与工程学院	43	177	7.0	10.0
3	罗文强	宁波大学信息科学与工程学院	3	5	1.0	2.0