- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
重庆大学硕士学位论文1
重庆大学硕士学位论文
1 绪论
PAGE
PAGE 10
1 绪 论
1.1 ASIC 系统逻辑仿真问题的提出
ASIC 系统的逻辑验证
随着电路设计与制造技术的发展,集成电路的规模越来越大, SoC
(Syst em- on- Chi p)设计技术应运而生。然而,在复杂芯片的设计过程中验证能 力落后于设计能力和制造能力,这就是所谓的验证差距(Ver i f i cat i on Gap)。在 芯片设计过程中,验证具有十分重要的作用。各大EDA厂商也都研制出了不同的验 证工具以满足目前的验证需求[ 1] 。
逻辑验证,就是指确定一个逻辑电路是否具有设计人员的期望性能和可实现 性的过程[ 2] 。设计者可以通过逻辑验证来检查和测试他们所期望的系统,并且可以 对实现性进行测试。例如系统时序,环境干扰承载能力和死锁等问题。ASI C 设计 者可以通过对系统的逻辑验证来有效的对系统进行调试改变,使得产品能够快速 上市,为设计者节省宝贵的时间。目前,逻辑验证的方法有三种:软件仿真、系 统原型、逻辑仿真。
软件仿真(Simulation)
在逻辑验证初期,软件仿真应用最为广泛。在软件仿真中,ASI C 系统的逻辑 在软件中执行。软件不仅可以仿真电子元件的功能和时序,而且可以计算出系统 输出结果。通过对系统输入不同的值,用户可以清楚的了解到系统的适应性,即 使需要仿真的系统很复杂也不成问题。
软件仿真的优点在于其简单的控制性和可见性。由于在软件仿真中每一个信 号的值都必须由软件来保存,ASI C 设计者可以通过软件详细的了解到任何时间每 一个信号乃至每一个连线上的高低电平,并且可以跟踪信号的变化。另外,由于 软件仿真过程中信号的值都存储在软件所在的计算机上,用户可以对这些数据进 行简单的处理。在这种情况下,设计者可以通过软件的调整对 ASI C 设计进行修改 调试以达到设计者最理想的性能。
不过,软件仿真的缺点也不容忽视。由于软件都要依托计算机来工作,所以 在 ASI C 电路中一秒的处理过程可能都要花费计算机几分乃至几小时甚至更多的时 间。同真正的电路相比,这个消耗是过大的。此后也有一些研究人员设计仿真加 速器来加快软件对 ASI C 系统的验证[ 3] ,但是即使使用仿真加速器,在验证的过程 中依然会消耗大量的时间来完成电路逻辑的整个过程。所以现在采用软件仿真对 ASI C 系统进行验证在实际上是不常用的。
原型验证(Prototyping)
原型验证不同于软件仿真,它是创建一个待验证系统的物理模型系统,即真 实的模拟系统[ 4] 。通过其他方法构建一个真实的电路然后将它放在一般的工作环境 下进行测试,这样得到的系统性能、适应性是最准确的。可以为设计者提供真实 直观的测试情况。原型系统往往拥有与目标系统相近的工作频率,比软件仿真有 更高的系统速度。但是原型系统不是制作一个跟目标系统一样的电路,比如可以 利用面包板和导线来快速搭建一个电路相对较小的系统进行验证。它可以使用跟 目标系统相同的原件,但是在电路板制作上并不相同。
虽然原型验证的方法有着高速、准确的优点,但这种方法依然存在很多问题。 首先,因为要对系统进行验证和功能仿真,建立原型系统必须有待验证的 ASI C 系 统的完整的设计。所以,验证往往在 ASI C 系统设计之后才能进行。其次,虽然原 型系统的工作速率很高,但是构建一个原型系统却要用很多原件和大量时间才能 完成。最后,即使搭建成功了原型系统,它在测试和调试的问题上还有很多不足。 原型系统是不便于调试的,而且内部信号也不方便进行控制,在系统性能不满足 设计要求时,不仅要对 ASI C 进行更改,而且还要对原型系统进行更改以再次验证。 所以,在实际上也很少采用直接的原型验证来仿真 ASI C 系统。
逻辑仿真(Emulation)
逻辑仿真综合了软件仿真和原型验证两种方法的优点和缺点,提供 ASI C 设计 者一种折中的验证方法。一方面,同原型验证一样,逻辑仿真也将系统逻辑放在 硬件平台上来承载,以便使构建的系统达到同目标系统相近的性能;另一方面逻 辑仿真同软件仿真一样,系统逻辑可以由软件控制以便设计者对系统进行测试和 调试。逻辑仿真采用软件和硬件协同工作的方式对 ASI C 系统进行验证[ 5] 。首先, 搭建一个通用的硬件平台,然后通过软件将系统逻辑映射到硬件平台上。
同软件仿真相比,逻辑仿真有更高的系统工作速度。但是逻辑仿真也要花一 些时间将系统逻辑映射到硬件平台上;而且,不如软件仿真对每个信号的控制和 调试更方便。所以,在对较小的电路进行验证时,可以采用软件仿真进行验证。 同原型验证的方法比较,逻辑仿
您可能关注的文档
- 基于典当目的的珠宝首饰评估研究-资产评估专业论文.docx
- 基于典故文化的文创产品设计研究-艺术设计专业论文.docx
- 基于典型工况的装载机动力总成优化-动力工程及工程热物理专业论文.docx
- 基于典型理论的中英及物性对比研究-英语语言文学专业论文.docx
- 基于典型相关分析的人脸识别方法分析-计算机软件与理论专业论文.docx
- 基于典型相关分析的人脸识别研究-通信与信息系统专业论文.docx
- 基于典型相关分析的性别识别算法研究-计算数学专业论文.docx
- 基于典型相关分析的长三角地区港口群与其腹地经济的互动机理研究-物流工程专业论文.docx
- 基于多Agent的车间制造系统控制结构及控制技术研究-机械制造及其自动化专业论文.docx
- 基于多Agent的车载信息管理系统研究-计算机应用技术专业论文.docx
- 基于多GPU的多路低照度视频实时增强系统-信号与信息处理专业论文.docx
- 基于多Kinect的个性化虚拟人三维建模-计算机科学与技术专业论文.docx
- 基于多PC机的虚拟演播室系统研究-计算机应用技术专业论文.docx
- 基于多QoS的网格资源调度分析-电路与系统专业论文.docx
- 基于多QoS路由模型的FallBack算法的研究-计算机软件及理论专业论文.docx
- 基于多SVM决策组合的入侵检测-计算机应用技术专业论文.docx
- 基于多八角环的铣削力测量交叉耦合特征分析-机械工程专业论文.docx
- 基于多VM迁移调度的云数据中心网络流量优化技术研究-电子与通信工程专业论文.docx
- 基于多巴胺自聚合构建的载药体系研究-药学药剂学专业论文.docx
- 基于多倍体的多群体遗传算法及其在图像重建中的应用研究-计算机技术专业论文.docx
最近下载
- 人工智能设计伦理智慧树知到答案2024年浙江大学.docx VIP
- 数据库系统概论(第6版)王珊课后习题答案.pdf
- 中国近代史纲要自考试题及答案.docx VIP
- PPT模板毕业答辩 (37).ppt VIP
- 中国税法:案例·原理·方法(暨南)中国大学MOOC慕课 章节测验期中期末考试答案.docx VIP
- 4-01.GB∕T 50326-2017 建设工程项目管理规范.pdf VIP
- 中国铁塔PMS系统操作手册.doc VIP
- 教科版四年级科学下册第一单元植物的生长变化2单元作业设计.pdf VIP
- 胆管结石的护理.pptx VIP
- 2026-2030中国立式冷冻柜行业市场发展趋势与前景展望战略分析研究报告.docx
原创力文档


文档评论(0)