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

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

作　　者：魏文强[1] 杜慧敏[1] 

机构地区：[1]西安邮电大学电子工程学院,陕西西安710061

出　　处：《电子科技》2014年第7期109-112,共4页Electronic Science and Technology

基　　金：国家自然科学基金资助项目(60976020)

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

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

分 类 号：TP302[自动化与计算机技术—计算机系统结构] TF393[自动化与计算机技术—计算机科学与技术]