基于约束的处理器接口随机测试模型

提出了一种处理器接口测试模型,并给出了具体实现方案。该测试模型将仿真测试的方法应用于处理器接口测试,在激励生成中采用基于约束的随机测试生成方法。结果表明,基于约束的处理器接口随机测试模型的覆盖率达到83.68%,能够快速有效地完成处理器接口部件的功能验证。

基于覆盖率模型的AMBA接口随机验证方法

AMBA协议是主流SoC(system-on-chip)片上总线的事实标准。结合龙芯1号AHB接口的验证,介绍了基于覆盖率模型的AMBA接口随机验证的系统架构,提出了AHB协议模型的定义方法,采用约束化随机向量对目标空间产生强化测试。该方法迅速定位了接口设计中隐蔽的问题,最终达到了100%的功能覆盖率。该方法能够有效地保证接口设计的质量,对互连协议的验证具有普适意义。

RFID数字控制器的UVM功能覆盖率验证

介绍了RFID数字控制器的UVM(Universal Verification Methodolody)验证平台,以及功能覆盖率验证所涉及详尽的测试计划、覆盖率组和覆盖率属性、覆盖率分析和测试用例更新等。验证结果表明,此验证平台能够实现随机约束激励、监控和收敛覆盖率,提高了验证的效率和可重用性,较好地满足了芯片验证需要。