技术总结
基于断言的存储器控制器接口时序参数化验证系统，涉及集成电路验证技术领域；其中，配置单元：将配置参数传输至断言文件库；控制单元：将控制参数传输至断言文件库；断言文件库：根据配置参数和控制参数的数值选择验证所需的断言文件；验证所需的断言文件：对接口信号时序和接口信号时序要求进行匹配，生成匹配信息，传输至检测单元；待验证存储器控制器：将接口信号时序传输至验证所需的断言文件；根据失败匹配信息对接口信号时序进行修改；检测单元：当检测到匹配失败信号时，将失败匹配信息传输至待验证存储器控制器；本发明提供基于断言的存储器控制器接口时序参数化验证系统，能够大量节省验证时间，降低工作难度，并提高验证的准确性。
技术研发人员：张世远;陈雷;于立新;彭和平;庄伟
受保护的技术使用者：北京时代民芯科技有限公司;北京微电子技术研究所
文档号码：201611194032
技术研发日：2016.12.21
技术公布日：2017.06.13