一款基于SPARC V8指令集体系结构的系统芯片的功能验证

发布时间：2017-09-04 08:24

  本文关键词：一款基于SPARC V8指令集体系结构的系统芯片的功能验证

  更多相关文章： 可扩展处理器架构 系统芯片 功能验证 指令集体系结构 功能点

【摘要】：处理器的设计越来越复杂,如何对处理器进行完备的功能验证面临着巨大的挑战.针对一款基于可扩展处理器架构(scalable processor architecture,SPARC)V8指令集体系结构的系统芯片进行验证,提取了该芯片的验证功能点,搭建了结果自动比对的验证平台.该平台采用定向测试用例生成和约束随机测试用例生成相结合的方式产生测试用例以支持各种功能场景的验证.项目仍处于验证实施过程中,目前已设计了170个测试用例,对125个验证功能点中的109个进行了覆盖,达到了84%的功能覆盖率,并发现了7处设计错误.
【作者单位】： 湘潭大学信息工程学院;中国科学院计算技术研究所计算机体系结构国家重点实验室;
【关键词】： 可扩展处理器架构 系统芯片 功能验证 指令集体系结构 功能点
【基金】：国家自然科学基金项目(61432017)
【分类号】：TN407
【正文快照】： 伴随着集成电路工艺的快速发展,集成电路特别是处理器的设计规模和功能复杂度越来越大,功能验证成为了集成电路设计过程中非常重要的环节,并且已经成为设计流程中的瓶颈[1-2].功能验证是为了确认设计的实现和系统要求的行为规范是否一致.现阶段经常使用的功能验证方法主要有两

【相似文献】

中国期刊全文数据库 前7条

1 本刊编辑部;IBM公布其新的IBM RT PC产品[J];计算机工程与设计;1986年05期

2 包云程;梁阿磊;管海兵;;动态二进制翻译基础平台CrossBit的设计与实现[J];计算机工程;2007年23期

3 黄聪会;陈靖;罗樵;张黎;郭一辰;;面向二进制移植的虚拟化技术[J];计算机应用研究;2012年11期

4 李根;卢凯;张英;卢锡城;冯华;张巍;;Hunter:一种指令集体系结构无关的二进制级动态测试用例生成技术[J];计算机工程与科学;2011年04期

5 王蕾,陆洪毅,王进,戴葵,王志英;一种面向嵌入式应用的片上系统:腾跃-1[J];电子学报;2005年11期

6 张西超;郭向英;赵雷;;TCG动态二进制翻译技术研究[J];计算机应用与软件;2013年11期

7 ;[J];;年期

，

本文编号：790405