遗传基因算法在SOC验证平台上的应用及改进

来源 :重庆邮电大学 | 被引量 : 0次 | 上传用户:jack196409
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着集成电路制造工艺不断进步,片上系统的集成度不断提高,设计流程的瓶颈在于怎样保证RTL(register transfer level)描述和specification功能定义一致。现阶段功能验证占据了整个设计时间的50%~80%,根据ITRS的预计在接下来的几年内,集成电路设计面临的巨大挑战是增强验证能力。由于目前验证方法需要人工分析覆盖率信息并以此开发针对性更强的验证向量,所以存在验证效率低以及能达到的覆盖率低等问题。因此需要研究一种用人工智能算法自动生成验证向量的方法,来提高验证效率和保证验证的完备性。   目前生命科学和工程科学的相互交叉,相互渗透和相互促进是近代科学技术发展的一个显著特点,而遗传基因算法的蓬勃发展正体现了科学发展的这一特征和趋势。论文提出了一种基于遗传基因算法和覆盖率驱动技术的RTL代码功能验证向量自动生成算法。其特点是利用遗传基因算法动态分析反馈的功能覆盖率信息,并通过初始化向量群,计算适应度,选择,交叉,变异等遗传操作自动生成针对性更强的验证向量,如此自动反复循环,直到达到目标覆盖率为止。   论文针对验证平台的特点对初始化群体的规模,自适应函数的设计,定标准则和惩罚机制,以及选择,交叉,变异这三个遗传算子的操作流程和概率分配等设计进行了详细介绍,并提出相应的改进思路。最后在Synopsys公司提供的VCS仿真环境中用Open Vera语言搭建C3220_USB验证平台,并嵌入了用Open Vera语言实现的遗传基因算法的核心程序,对USB1.1模块进行模块级验证。最后展示验证效果仿真图,并与传统的受限随机向量生成的验证平台进行性能比较,总结出嵌入遗传基因算法的验证平台能保证验证的完备性,能快速达到覆盖率目标,缩短验证周期,减少验证人员工作量等显著优势。
其他文献
摘要:随着社会的发展与进步,重视短距离无线通信主要技术与应用对于城市生活具有重要的意义。本文主要介绍短距离无线通信主要技术与应用的有关内容。  关键词短距离;无线;通信;网络;系统;技术;原理;应用;  中图分类号:S972.7+6 文献标识码:A 文章编号:   引言  随着电子技术、计算机技术的发展,近年来短距离无线通信技术蓬勃发展,出现了各种标准的短距离无线数据传输标准,它们各有其优缺点和不
期刊
体绘制技术被证实是揭示三维数据结构信息的有效工具。此前的研究主要是围绕如何提高体绘制质量和体绘制速度的算法,直到最近研究重心才放在转换函数的构造上。传统的一维转换
尿沉渣检查是进行临床检验和诊断鉴别的重要方法,是现代医学研究中常用的手段之一。目前,临床上对尿液中有形成分的检验主要还是依靠人工镜检的方式。该方式主观程度强,且主要集
随着实时系统的广泛应用和自动控制领域对设备灵活控制的需求的增加,设备级操作系统日渐发展开来。硬实时任务控制的外部设备的物理特性决定设备在开启、施动等过程中抖动不可
LDPC码在与基于信值传播算法的迭代译码相结合的条件下具有逼近Shannon限的性能,尤其是非正则的LDPC码,至少具有和Turbo码相同的纠错性能。LDPC码的特点是:描述简单,对严格的理论
摘要:随着社会的发展与进步,我们越来越重视液压系统管道制作安装技术,液压系统管道制作安装技术对于现实生活中具有重要的意义。本文主要介绍液压系统管道制作安装技术的有关内容。  关键词 液压;系统;管道;安装;制作;原则;技术;  中图分类号:[C94] 文献标识码:A 文章编号:   引言  在现代化的冶金生产中,广泛地采用液压传动,是因为液压传动与电气或气动相配合,可创造出各方面都很好的、自动化程
期刊
Reed-Solomon(RS)码拥有严谨的代数结构和强大的纠错能力,广泛应用于卫星通信、数据存储等诸多领域,其译码算法,特别是软判决译码算法的研究广受关注。但由于译码复杂度和译
MPLS(Multiprotocol Label Switch,多协议标签交换)是基于标签交换对数据包进行转发的新型技术。现在MPLS的主要应用为MPLS VPN。 与基本的MPLS转发使用一层标签完成数据包
IPv6相对于IPv4有着巨大的优点,势必在将来得到更广泛的应用。但由于目前网络上几乎都是IPv4设备,所以从IPv4过度到IPv6必定是一个渐进的过程。NATPT则是由此而产生的一种实现I
随着传统电信网络向IP数据网络的转换,会话发起协议SIP作为一种多媒体控制协议,以其简单、通用、扩展性强的优势已成为当今研究热点,基于SIP协议的各种应用也开始层出不穷。