上海灵动微电子申请存储控制器相关专利，增加功能验证的可观测性

金融界2024年12月12日消息，国家知识产权局信息显示，上海灵动微电子股份有限公司申请一项名为“存储控制器的验证方法、验证装置及虚拟验证装置”的专利，公开号 CN 119105925 A，申请日期为2024年11月。

专利摘要显示，本发明公开了一种存储控制器的验证方法、验证装置及虚拟验证装置。验证方法包括：在对待验证存储控制器进行验证时，向所述待验证存储控制器输入待验证操作的激励内容后，产生相应的接口时序；监测所述待验证操作的接口时序符合存储器对应操作的接口时序规范后，生成结果事件；将所述结果事件存入结果队列中；将所述结果队列与期望队列进行比较分析，来识别所述待验证存储控制器是否通过验证；所述期望队列中存有所述激励内容对应的期望事件。通过本发明提供的一种存储控制器的验证方法，将存储控制器的接口时序转换为事件队列，直接验证存储控制器的期望队列和结果队列，减少对存储器行为模型的依赖，增加功能验证的可观测性。

来源：金融界