- 1、本文档共122页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
基于寄存器传输级层次模型的测试生成研究:
基于寄存器传输级层次模型的测试生成研究: 摘要
摘要
集成电路(hlte蓼ated Circmt,简称IC)的设计验证和测试是确保数字系统正常工 作的必要手段。无论是设计验证还是芯片测试,测试生成都作为其主要内容而被广泛关 注。本文首先综述了集成电路的测试和设计验证的基本原理和方法;其次针对设计所采 用的寄存器传输级(Reoster Transfcr Level,简称RTL)行为描述方式,介绍了若干已 有的高层次测试生成方法;最后提出了一种可行的RTL级测试生成算法,所产生的测 试序列可有效地应用于电路的功能测试或设计验证。
本文工作贡献主要有以下三个方面: 1.建立了一种有效的RTL行为模型。
本文从电路的控制结构和数据路径两方面出发,建立了电路的控制流图和数据流图 两层次模型:第一层通过控制流图反映电路语句间的连接关系;第二层通过控制流图中 的每一结点所对应的数据流图,反映语句的具体操作。该模型实现了对电路的分层描述, 相对于以往的电路模型具有形式简单、规模小、易于处理的优点,便于根据测试的具体 需求处理相应的模型层次,从而降低处理复杂性,提高系统效率。此外,该模型具有良 好的通用性,基于该模型可进行电路模拟、测试生成、验证等操作。
2.制定了一种语句可测性测度。
为了能更好地把握语句执行,本文从语句的功能实现和执行时序两方面出发考虑语 句性能,定义了静态时序深度和动态时序深度概念,分别度量语句的功能实现和执行时 序,并给出了相应算法。由此将语句执行的横向、纵向相结合反映电路性能,为高层次 测试生成提供了方便。
3.提出了一种基于测试用例的RTL级钡8试生成方法。 本文基于控制流图/数据流图两层次模型,以分支覆盖、位功能覆盖以及语句可观
覆盖为目标,给出一高层次测试用例生成算法,即通过两个子过程的交替进行生成电路
的测试角例块。并在此基础上,采用~定填充策略填充未知位,生成满足覆盖需求的、
一定长度的测试序列,实现测试生成a
实验数据表明,本文测试生成系统的执行时间相对于基于遗传算法的RTL测试生成 P6nce系统、基于电路结构的无回溯的TiDE系统均有所缩减,且可生成较短的测试序 列,获得与其它方法相当或略低的门级固定型故障覆盖率;此外由于该方法采用了测试 用例技术,可通过不同的用例填充、组合方式得到不同的测试序列,从而具有良好的可 扩展性。
关键词:集成电路,自动测试生成,寄存器传输级,测试用例
墨王堂壁墨堡塑堑堡姿堡型塑塑塑生壁堕塞:
墨王堂壁墨堡塑堑堡姿堡型塑塑塑生壁堕塞: 垒!!巡
Test Generation based on Hiberarchy Model at Register Transfer Level
Gao Yah(Computer Architecture)
Directed By Prof.Shen Li
Abstract
Design verification and test of Integrated Circuits(ICs)are necessary techniques to guarantee the validity of a digital system.Thereinto being a primary part of them,test generation gets broad attention.This dissertation firstly summarizes the theory and method of test and verification;secondly introduces some high level testing methods at Register Transfer
Level(RTL);lastly designs a feasible RTL test generation method which can generate useful
test sequences for fimction test or verit/cat/on.
The original ideas are explained as follow: 1.Creating an effective RTL behavioral model.
Based on the control structure and data path of circuits,a Dew two—level RTL model is
represented,termed Control Flow Grapl佃ata Flow Graph(CFG/DFG).At the first level,the connection of s
您可能关注的文档
- 间接免疫荧光法筛选抗呼吸道合胞病毒单克隆抗体及其性质的初步鉴定-免疫学专业论文.docx
- 基于技术创新的企业组织结构模式研究-科学技术哲学专业论文.docx
- 间接免疫荧光技术检测角膜内皮炎房水及小梁组织中的单纯疱疹病毒-眼科学专业论文.docx
- 基于混合正则化方法的图像复原问题研究-应用数学专业论文.docx
- 间接免疫组化和间接免疫荧光检测石蜡切片中鹅细小病毒方法的建立及其在雏鹅体内病毒分布规律的研究-预防兽医学专业论文.docx
- 基于混合证据理论的多机器人建模方法研究-计算机技术专业论文.docx
- 基于技术创新的企业组织结构选择及其对创新绩效的影响研究-管理科学与工程专业论文.docx
- 间接侵犯著作权责任分析-民商法学专业论文.docx
- 间接侵犯著作权责任研究-民商法学专业论文.docx
- 基于混合知识的多属性知识库知识表示和知识推理研究-管理科学与工程专业论文.docx
文档评论(0)