符号模拟

来源 :计算机工程 | 被引量 : 0次 | 上传用户:zdbzdb
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
符号模拟将模拟验证从布尔值扩展到符号领域,是集成电路验证行业中的重要分支。符号方法将符号值加到待验证电路的基本输入端,依次计算每个结点的布尔函数,直到在电路的输出端得到由这些初始符号变量组成的布尔表达式,并判断其是否具有所期望的特征。该文介绍了符号模拟的发展过程、基本技术及其所面临的BDD爆炸问题,并对消除该问题的两种技术:近似值法和参数方法,进行了讨论。介绍了具有一定自动机处理能力的符号轨迹评价方法。
其他文献
利用模糊逻辑,分析了各测试用例中交元的测试特性,得到如下结果:交元在不同测试用例中所发挥的测试作用是相同的。据此给出了生成充分考虑参数取值组合作用、且个数少的测试用
研究目的通过对D 市饮用水水质监测的实验性研究,初步掌握该市饮用水的遗传毒性现状,为工艺改进和供水的管理决策提供科学依据。研究方法采用Ames 试验,平板掺入法,菌株为TA9
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
目的:孔雀石绿和结晶紫等潜在致癌物,是近年来水体污染和食用水产品卫生安全中重点监控的有机污染物。目前,孔雀石绿和结晶紫的主要检测方法是高效液相色谱法和高效液相色谱-
“红色文化”作为一种文化发展理念和形态,在思想政治教育创新视角中是一项主要的内容。当前思想政治教育创新视角下进行“红色文化”传承,需要厘清“红色文化”的内涵和外延,辨
边界网关协议(BGP)因设计缺陷易受到各种类型的攻击。然而,当前BGP路径验证机制中繁重复杂的公钥基础设施(PKI)密钥管理和过量的存储空间开销严重阻碍了BGP安全方案在实际中部署实
最危险的海峡马六甲海峡的长度约为800公里,每年有大约5万艘船只过往,承载着全世界1/3的贸易货物和1/2的原油,其中包括日本90%的石油需求。在新加坡附近的最狭窄处,海峡宽度
一、水运业发展成就改革开放二十多年来,我国水运行业科技进步、生产力水平特别是运输能力大大提高,为国民经济发展做出了突出贡献。2003年我国港口吞吐量突破33亿吨,居世界
分析并比较对称加密算法DES,AES和非对称加密算法RSA,结合地图数据网络分发的实际应用,提出散列组合加密算法。该算法具有AES算法的高效性和RSA算法便于进行密钥管理的特点,将数据与密钥混合后传输,增加了加密的安全性。实验结果表明,新算法满足了数据加密的安全性及效率要求。
<正>2012年12月8日,中缅天然气管道云南支线及城市燃气项目在云南省安宁市平地哨村正式开工,进一步助力西南地区能源结构调整,标志着"气化云南"这一重大工程进入实质性阶段。