一种基于C算法模型的芯片算法模块验证方法及系统

摘要

本申请公开了一种基于C算法模型的芯片算法模块验证方法，通过对已有的C算法模型进行扩展，开发出相关的功能模块，在保证原有C算法模型功能的前提下，将C算法模型与算法的硬件实现进行适度匹配，使其易于集成到验证环境中。通过DPI‑C接口实现验证环境与C模型之间的传输，使验证用例的运行完全自动化。同时测试过程中不使用文件作为C模型与验证环境之间的传输媒介，节省存储空间。由于C模型独立编译，因此C模型的开发调试独立于验证平台，提升验证效率，而且不需要将C算法模型源代码提供给验证人员，保证算法代码的保密性。此外，本申请还提供了一种基于C算法模型的芯片算法模块验证系统，其技术效果与上述方法的技术效果相对应。