【摘 要】
：
提出了一种通过比较逻辑覆盖差异的函数错误率计算方法,该方法主要包括逻辑覆盖不相交锐积运算和双锐积运算,分别用于实现2个逻辑覆盖之间不相交操作和公共部分删除操作,进而
【基金项目】
：
国家自然科学基金(61471211);浙江省自然科学基金(LY19F040004);宁波市自然科学基金(2019A610077)
论文部分内容阅读
提出了一种通过比较逻辑覆盖差异的函数错误率计算方法,该方法主要包括逻辑覆盖不相交锐积运算和双锐积运算,分别用于实现2个逻辑覆盖之间不相交操作和公共部分删除操作,进而实现TB逻辑函数之间或RM逻辑函数之间覆盖差异的提取.通过对所提取覆盖包含的最小项数量统计,实现函数错误率的计算.所提出的方法用C语言实现,并用MCNC测试电路进行测试.实验结果表明,该算法可以实现TB函数和RM函数的错误率计算,且具有运算速度快,适合处理大逻辑函数的特点.
其他文献
本文分析了国家级公益林落界的必要性和重大意义,介绍了基于林地变更数据和遥感影像数据的国家级公益林落界的技术路线,从数据预处理、确定国家级公益林小班边界、完善属性因
英语翻译中文化语境对翻译的信、达、雅起到很非常重要的作用,所以在英语翻译教学中就更要加强对文化意识的学习和培养。
本文阐述了 A21/1滚齿机用料斗式自动装卸料机构的工作原理、电磁振动料斗的主要参数及调整方法,着重介绍了重心偏移很小的异径小轴的可靠定向方法,简略地介绍了该装卸料机构
目前相似模型试验方法在隧道及地下工程领域的应用越来越为广泛。由于进行模型试验的试验平台规格不一,研究人员在进行模型试验以及不同试验平台数据结果对比分析时经常会面
一、中国现代化的一种选择：就地多元化 中国农村的现代化、农民的现代化到底怎样实现？城市化？小城镇化？这些路都尝试了，仍不能解决问题。于是，近两年的讨论集中到就地实现非农化的
体育微电影是体育电影的新形式,它有着自身的新特点。从传播主体的角度来说,体育微电影的传播人更广泛,随着影像话语权的大解放,影片拍摄视角趋于平民化、日常生活化;从接受
【正】 今年暑假期间,我院政史系教师李孟存、张守中和周征松同志参加了“河东两京”历史考察队的活动。河东两京历史考察队,是由山西省社会科学研究所、西北大学、郑州大学
在森林资源二类调查中,如何衔接林地“一张图”、公益林区划界定、集体林权制度改革等调查、区划和界定成果,是近年来森林资源监测中难于把握和处理的问题。从森林资源二类调
针对阿根廷San Martín线宽轨机车的运输问题,提出了临时装用准轨转向架将机车上部由铁路运输至港口的方案。文中将准轨代用转向架的技术设计条件及工厂实际生产情况结合起来
轮毂电机性能好坏直接影响电动车性能,因此有必要对轮毂电机动态特性进行测试。笔者通过分析永磁直流测功机系统的工作原理,设计了框架式测功机结构,采用双万向联轴器联接发