一种改进的软硬件协同验证平台的设计与实现

›› 2014, Vol. 27 ›› Issue (7): 109-.

一种改进的软硬件协同验证平台的设计与实现

魏文强,杜慧敏

(西安邮电大学电子工程学院,陕西西安 710061)

出版日期:2014-07-15 发布日期:2014-07-19
作者简介:魏文强(1986—),男,硕士研究生。研究方向:专用集成电路设计与系统集成。E-mail:wwq0327@126.com。杜慧敏(1966—),女,教授,硕士生导师。研究方向:超大规模集成电路。
基金资助:
国家自然科学基金资助项目(60976020)

An Improved Design and Implementation of Software-hardware Cooperation Verification Platforms

WEI Wenqiang,DU Huimin

(School of Electronic Engineering,Xi'an University of Post and Telecommunications,Xi'an 710061,China)

Online:2014-07-15 Published:2014-07-19

摘要/Abstract

摘要：

现有基于断言、形式化等的验证方法可保证电路按要求工作,但无法完成对设计的全验证。文中将软件验证环境与硬件加速器相结合,组成了软硬件联合验证平台,其在结构上既发挥了硬件加速器运行速度快的优点,又利用了面向对象的验证方法和可重用性高的优势。实验结果表明,针对复杂电路,验证平台使验证效率和验证覆盖率提高了3~10倍。

关键词: 硬件加速, 协同验证, 验证效率, 可重用

Abstract:

As the most popular methods of verification,assertion-based verification and formal verification can ensure the circuit working normally.Although the circuit by this method satisfies the requirements of designer,it cannot be tested completely without error.In this paper,a software-hardware cooperation verification platform is presented,which increases the speed and reusability of verification using hardware accelerator and object-oriented verification.The experimental results show that the verification efficiency and coverage improve three to ten times in complex circuit verification.

Key words: hardware acceleration;co-verification;verification efficiency;reusable

中图分类号:

TP302

魏文强,杜慧敏. 一种改进的软硬件协同验证平台的设计与实现[J]. , 2014, 27(7): 109-.

WEI Wenqiang,DU Huimin. An Improved Design and Implementation of Software-hardware Cooperation Verification Platforms[J]. , 2014, 27(7): 109-.

[1]	何凯，梁蓓，杨发顺. 基于Vivado HLS的求取特征点图像坐标的设计[J]. , 2018, 31(4): 87-.
[2]	罗秋娴,张贺,罗国成. 基于OR1200的SoC设计软硬件协同仿真验证[J]. , 2014, 27(6): 168-.
[3]	章剑, 仰枫帆. 一种基于异构系统的H.264/AVC运动估计算法[J]. , 2012, 25(10): 106-.
[4]	李伟, 万晓冬. 安全嵌入式操作系统的构建与配置[J]. , 2010, 23(8): 112-.