站内搜索

热门搜索: 直缝焊接机 矿井提升机 循环球式转向器图纸 机器人手爪发展史 管道机器人dwg 动平衡试验台设计

首页 人人文库网 > 资源分类 > DOC文档下载

时序功能块的提取.doc

  • 资源星级:
  • 资源大小:191.00KB   全文页数:7页
  • 资源格式: DOC        下载权限:游客/注册会员/VIP会员    下载费用:5
游客快捷下载 游客一键下载
会员登录下载
下载资源需要5

邮箱/手机号:
您支付成功后,系统会自动为您创建此邮箱/手机号的账号,密码跟您输入的邮箱/手机号一致,以方便您下次登录下载和查看订单。

支付方式: 微信支付       支付宝      
验证码:   换一换

友情提示
2:本站资源不支持迅雷下载,请使用浏览器直接下载(不支持QQ浏览器)
3:本站资源下载后的文档和图纸-无水印,预览文档经过压缩,下载后原文更清晰   

时序功能块的提取.doc

专业文档,值得下载专业文档,值得珍藏时序功能块的提取潘日华童家榕唐璞山(复旦大学电子工程系ICCAD实验室,上海200433)【摘要】文章介绍了基于功能块提取器(DLFE)工具的时序功能块提取工具和方法。整套工具用于从版图中构造层次化电路,以利于电路的验证和理解。时序功能块提取通过时序功能块的普遍特征来定位时序功能块,避免了手工定位的盲目性,大大加快了构造层次化电路的速度。实验证明,工具对时序模块的提取是十分有效的。关键词功能块提取时序功能块逻辑验证1引言通常的集成电路验证中,在大规模生产之前,必须检验版图和设计电路图的一致性。一般的方法是将设计电路图打碎至最底层,然后与版图比较1。验证方法基于图的同构,虽然有很多优化,其复杂性仍然是非多项式的。在电路的规模比较小时,这样的算法可以胜任。但是随着电路规模的不断增长,验证耗费的时间和成本逐渐变得不能忍受。层次化验证的方法2,虽然每一个子电路仍然采取同构的验证方法,但是通过对电路的划分,可以将时间复杂性由非多项式向多项式转化。例如对较大的N来说,若分为A块,EXPN远大于AEXPN/A。因此,如果能从版图中构造出层次化的电路图,将大大加快验证过程。另一方面,设计的电路图是按功能划分的,若要将提取出的电路图和设计电路图比较,必须按功能从版图中提取层次化电路图。现有的软件中还没有按功能提取层次化电路的工具。不同的电路由于应用领域不同,各自的功能块截然不同,很难用一个算法来自动识别,或者是算法只能识别某一类型的功能块。本文所介绍的工具也不试图设计一个能自动识别任何功能块的算法,而是采用人机结合的方法。分别利用人脑的识别能力和计算机的计算能力,共同完成功能块的提取。在此之前,我们已经设计了交互式的功能块提取器(DLFE)工具3,实现了电路的可视化和层次化的基本机制。用户可以通过可视化工具浏览电路,制作功能块的样本,然后用工具在整个电路中搜寻并替换所有同构的样本的实例。自下而上的逐步构造出层次化的电路图,同时完成对电路的功能分析。但是DLFE工具在功能块寻找和定位方面有所欠缺,很大程度上依赖于用户自己通过浏览去搜专业文档,值得下载专业文档,值得珍藏寻样本,有一定的偶然性,与用户的经验也有很大关系。因此我们在DLFE的基础上开发了帮助用户寻找和定位时序功能块的工具。它根据时序模块的普遍特征来搜寻可能的功能块,具有很高的准确性。且不依

注意事项

本文(时序功能块的提取.doc)为本站会员(dingyx0101)主动上传,人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知人人文库网(发送邮件至[email protected]或直接QQ联系客服),我们立即给予删除!

温馨提示:如果因为网速或其他原因下载失败请重新下载,重复下载不扣分。

关于我们 - 网站声明 - 网站地图 - 资源地图 - 友情链接 - 网站客服客服 - 联系我们

网站客服QQ:2846424093    人人文库上传用户QQ群:460291265   

[email protected] 2016-2018  renrendoc.com 网站版权所有   南天在线技术支持

经营许可证编号:苏ICP备12009002号-5