自适应时序变化的设计自动化验证方法、系统及验证平台

摘要文本

本发明提供了一种自适应时序变化的设计自动化验证方法、系统及验证平台，所述包括响应于设计验证启动，定时扫描测试用例的预设约束配置路径，获取目标激励约束文件；所述目标激励约束文件包括至少一个新增激励约束文件和\或至少一个更新激励约束文件；读取并解析各个目标激励约束文件，得到对应的端口信号时序配置信息，并将所述端口信号时序配置信息转换为宏定义插入至当前运行的验证平台，得到时序更新验证平台；根据所述时序更新验证平台对被验设计进行仿真验证，得到对应的用例验证结果。本发明能有效满足同一被验设计在不同时序场景下的全自动化验证需求，减少人力资源成本，提高验证效率和验证可靠性，为芯片设计开发提供可靠保障。