摘要
本申请涉及一种DMA控制器的验证方法、装置、计算机设备、可读存储介质和程序产品。通过响应于验证脚本的启动指令,基于预先构建的验证环境提取待验证DMA控制器的测试用例,并根据测试用例的目标通路,向待验证DMA控制器和对应的参考模型发送测试用例,获取待验证DMA控制器运行测试用例的第一运行结果,以及获取参考模型运行测试用例的第二运行结果,对第一运行结果和第二运行结果进行比对,生成待验证DMA控制器的验证结果。其通过自动生成测试用例,从而减少了人工编写的工作量,显著提高了验证过程的效率和质量。
技术关键词
DMA控制器
验证方法
数据传输模块
脚本
计算机设备
可读存储介质
生成测试用例
分层验证
存储器
计算机程序产品
验证装置
处理器
指令
数据总线
遗传算法
定义
覆盖率
动态