基于人工智能的芯片自动化验证

来源 :上海交通大学 | 被引量 : 0次 | 上传用户:uuvvuu11
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文首先介绍和比较了多种常用的集成电路功能验证方法,并讨论了功能验证结果的评估办法。随后以本人在“汉芯二号”24位DSP验证项目中的工作为基础,讨论了伪随机自动测试向量生成测试方法的优点。在24位DSP验证项目中,本人采用了指令描述模板和伪随机自动生成程序分离的解决方案,不仅能够在验证中取得了较高的效率和良好的验证效果而且还保留了很大灵活性和简便性。 由于在该项目的实际工程应用中,本人发现传统的伪随机测试向量自动生成测试方法会产生许多测试价值很低的测试向量。这些测试向量不光需要大量的计算资源、浪费大量的运算时间,而且可能带来设计周期的延迟。对于这一问题,本文随后提出一种新颖的优先级指导下的伪随机测试向量生成方法。该方法能够在一个测试向量还未经过模拟的情况下通过人工智能方法估算出该向量的测试优先级。测试向量的优先级越高表示通过模拟和比对该测试向量越容易发现新的功能错误。 本文着重使用了人工神经网络(ANN)的学习算法来完成测试向量优先级的估算功能,在文章的最后,设计了两个实验展示该方法的有效性。
其他文献
汽车电子技术的飞速发展使得汽车的信息化和智能化达到了前所未有的高度,车辆各系统的电子控制单元通过车载总线连接到一起。作为汽车计算机控制系统的标准总线,CAN总线是电
随着社会进入网络时代,各种各样的网络设备骤增,产生了大量的数据信息,而这些数据大部分是以文本的形式存在的,如何高效快速的处理这些文本数据,从中获取有用的价值,是当前大
本文所作得的主要工作包括:(1)首先给出协同CAD的系统模型,设计出支持同构以及异构协同的两种协作框架。接着分别阐述了客户端以及服务器端的模块结构以及相应的功能。(2)CAD系统交
电信计费的广义概念是指从用户开始使用电信业务到用户最终完成缴费这一全过程。具体可分为两个阶段,第一阶段为交换机采集计费参数阶段,用户在通话过程中,交换机以复式计次
网络流量分类是网络管理、服务质量保障、网络安全等领域的关键技术之一。随着网络规模和网络速度的不断增长,导致海量的高速网络流量数据与传统单节点网络流量分类系统处理
随着全球Internet的飞速发展,第4版本IP(IPv4)的技术地址空间不足问题已经成为互联网和通信产业发展的瓶颈。而第6版本IP(IPv6)技术在IP地址数量、安全性、移动性、服务质量等
软件测试是软件质量保证的重要内容,随着软件规模的不断扩大,复杂程度的不断提高,以及面向对象程序设计方法和工具的使用,软件测试的难度也进一步提高,测试质量更加难以度量。以往
经过近十年来的发展,工作流技术已经日渐成熟,并在许多领域成功应用。但是,随着企业的全球化和Internet的迅速发展,业务过程逐渐延伸到了企业之外,多个合作伙伴参与的协作的
支持动态可变和灵活的工作流系统是人们在实际应用中对工作流系统提出的新要求,传统的工作流建模思想必须加以改进以适应这种可动态变化的工作流运行模式。由于工作流技术具
计算机辅助设计和制造(CAD/CAM)技术已经非常成熟并在生产中得到了广泛的应用。计算机辅助装配顺序规划作为计算机辅助工程的一项重要内容,对改进产品设计、降低成本、缩短产