欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
AMBA协议是主流SoC（system-on-chip）片上总线的事实标准。结合龙芯1号AHB接口的验证,介绍了基于覆盖率模型的AMBA接口随机验证的系统架构,提出了AHB协议模型的定义方法,采用约束化随机向量对目标空间产生强化测试。该方法迅速定位了接口设计中隐蔽的问题,最终达到了100%的功能覆盖率。该方法能够有效地保证接口设计的质量,对互连协议的验证具有普适意义。
英文摘要：
AMBA protocol was the de-facto standard for on-chip bus for mainstream SoC. With Godson-1 AHB interface as prototype, the coverage model-based random system infrastructure on AMBA interface verification was presented, the definition method of AHB protocol model was issued and constrained random vectors were used to intensify the object space test. Via this method several hidden bugs were efficiently discovered and 100% functional coverage was reached. The method can efficiently guarantee the quality of interface design and has broad applicability on interconnection protocol verification.
同期刊论文项目
同项目期刊论文
The Design-for-Testability Features and Test Implementation of a Giga Hertz General Purpose Micropro
期刊信息
位置：