论文部分内容阅读
二叉判决图ＢＤＤ是一种能有效表示布尔函数的方法，这种方法在ＥＤＡ领域中有着广泛的应用，该文介绍以ＢＤＤ为基础演变出的各种判决图并分析它们之间的关系，最后给出这些判决图在组合电路形式验证中的发展和应用。
BDD的研究现状及其在组合电路形式验证中的应用<'+>
【摘 要】
：
二叉判决图ＢＤＤ是一种能有效表示布尔函数的方法，这种方法在ＥＤＡ领域中有着广泛的应用，该文介绍以ＢＤＤ为基础演变出的各种判决图并分析它们之间的关系，最后给出这些判决图在组合电路形式验证
【机 构】
：
大学计算机科学与技术系(北京)
【出 处】
：
第七届全国数字系统设计自动化学术会议暨协同设计研讨会
【发表日期】
：
1997年期
其他文献
步入21世纪以来,我国进入了互联网时代,大数据被广泛应用在测绘地理信息中.过去的地理信息系统已经很难满足当下经济社会的发展要求,面对新的发展形势,必须要加强改革地理信
摘要：近年来，对资源污染的情况变得越来越严重，对于给水的水质也造成了很大的危害。因此就需要对存在的主要问题进行研究，并且对给水处理技术和发展提出具体的措施，这样才能够更好的保证水质的安全，从而保证人们的身体健康。 关键词：给水处理;主要问题;技术发展措施 随着人们生活水平的不断进步，对于给水质量的要求也在不断的提高，但是目前来看，对于给水处理还存在着许多问题，因此，不仅不能够满足人们的需求，还
科学技术的发展迅速带动了电力行业的发展.随着社会的不断进步与发展,群众基础设施不断完善.对于多种能量供能需求越来越高,其中,电力的社会需求逐年增长.电力要想达到更好的
在众多建筑内,配电系统长期以来在其中占有不可或缺的地位,是建筑配套设施最为关键的构成内容之一.而低压配电系统作为建筑电气设计的核心内容之一,其还是整个建筑电气系统内
在该文中，作者用ＳＰＩＣＥ模拟验证了布尔过程理论。在模拟中使用的是一种０．３５μｍ，３．３Ｖ ＩＣ工艺的ＢＳＩＭ３ＭＯＳＦＥＴ模型。如果门延迟是１个单位时间，则布尔过程的特征值在０．５到１．５之间。
2011年中央1号文件明确指出:“在风险可控的前提下,支持农业发展银行积极开展水利建设中长期政策性贷款业务”。水利建设具有典型的公益性、基础性、战略性特征,是“三农”领
随着我国经济建设的快速壮大,人们的生活水平得到了相当大的提升,而桥梁作为人们日常出行必然用到的交通道路,自然也会对其提出更多的要求.我国当下的桥梁建设已经进入良好、