论文部分内容阅读
为了提高验证效率和处理大规模电路的能力,提出了一种基于存储元素映射的层次化等价性检验方法,该方法将功能性和非功能性的映射方法相结合,提高了存储元素匹配的准确性和完备性.针对一款RSICCPU设计完成了两组等价性验证实验,结果表明此方法具有很强的实用性.
基于存储元素映射的层次化等价性检验方法
【摘 要】
：
为了提高验证效率和处理大规模电路的能力,提出了一种基于存储元素映射的层次化等价性检验方法,该方法将功能性和非功能性的映射方法相结合,提高了存储元素匹配的准确性和完
【机 构】
：
浙江林学院信息工程学院,Synopsys公司上海研发中心
【出 处】
：
微电子学与计算机
【发表日期】
：
2009年5期
其他文献
设计并实现了一种最大输出电流为500mA的超低压差的单片CMOS电压调整器,对其电路结构及工作原理进行了分析并给出各子电路模块的设计.提出了一种新的内置频率补偿技术,可实现
提出了一种新的两阶段FCM聚类算法,一方面有效弥补了Stephen L Chiu提出的FCM算法中存在的不足,更好地解决选择初始聚类中心的问题;另一方面,新算法解决了大数据量数据聚类时间过长的问题,取得了较好的聚类效果.实验结果也显示了该算法的有效性和优越性.
基于小波神经网络的原理对与文本无关的说话人进行了识别．通过分析网络结构，提出了优化网络初始参数的方法，加快了小波网络的收敛速度；采用分组器与阵列搜索算法相结合，减少了识别
给出了一种利用已知数据样本集,自动构造因果图的结构的学习算法,该算法以最小描述长度评分函数（MDL）为评价准则,这种学习算法对数据不需要任何先验假设,可以学习任意结构的因
分析了构建广域网下分布式动漫渲染系统的必要性，详述了基于广域网的动漫渲染系统架构，分析了广域网中资源的特性，并进一步研究对异构资源的监控方法，最后对未来的研究方向进行了
从BA无标度网络的两个假设出发，对局域世界演化模型作了一点修改，提出了一个新的网络模型——局域世界线性增长的网络演化模型，连续介质理论方法和计算机模拟表明：当时间t→∞时，
本文基于SOA设计思想,采用XML技术实现异构数据源的通用接口访问方式,提出一种采用配置文件来增强系统灵活性的方法,该方法提高了系统的可扩展性,稳定地完成ETL功能.DCT系统
提出一种新颖的基于LVQ网络的人脸识别方法.以NMF提取人脸子空间特征,使用LVQ网络对人脸进行分类.LVQ网络结构简单,但却表现出比BP神经网络更强的有效性和鲁棒性.实验结果表明,提出的算法利用较少样本数据即可快速地进行人脸识别.