申请/专利权人:合芯科技(苏州)有限公司;合芯科技有限公司
申请日:2024-01-15
公开(公告)日:2024-04-09
公开(公告)号:CN117574817B
主分类号:G06F30/33
分类号:G06F30/33
优先权:
专利状态码:有效-授权
法律状态:2024.04.09#授权;2024.03.08#实质审查的生效;2024.02.20#公开
摘要:本发明提供了一种自适应时序变化的设计自动化验证方法、系统及验证平台,所述包括响应于设计验证启动,定时扫描测试用例的预设约束配置路径,获取目标激励约束文件;所述目标激励约束文件包括至少一个新增激励约束文件和\或至少一个更新激励约束文件;读取并解析各个目标激励约束文件,得到对应的端口信号时序配置信息,并将所述端口信号时序配置信息转换为宏定义插入至当前运行的验证平台,得到时序更新验证平台;根据所述时序更新验证平台对被验设计进行仿真验证,得到对应的用例验证结果。本发明能有效满足同一被验设计在不同时序场景下的全自动化验证需求,减少人力资源成本,提高验证效率和验证可靠性,为芯片设计开发提供可靠保障。
主权项:1.一种自适应时序变化的设计自动化验证方法,其特征在于,所述方法包括以下步骤:响应于设计验证启动,定时扫描测试用例的预设约束配置路径,获取目标激励约束文件;所述目标激励约束文件为根据被验设计时序调整需求配置的激励约束文件,包括端口信号间的时序关系或者时钟的保持时间与建立时间、以及时钟信号和重置信号的大小与占空比;读取并解析各个目标激励约束文件,得到对应的端口信号时序配置信息,并将所述端口信号时序配置信息转换为宏定义插入至当前运行的验证平台,得到时序更新验证平台;所述端口信号时序配置信息包括时序约束信息、周期约束信息和位宽约束信息;所述时序约束信息包括信号名、信号建立时间和信号保持时间;所述周期约束信息包括信号名和信号大小;所述位宽约束信息包括信号名、时钟边沿和对应的边沿极限值;根据所述时序更新验证平台对被验设计进行仿真验证,得到对应的用例验证结果。
全文数据:
权利要求:
百度查询: 合芯科技(苏州)有限公司;合芯科技有限公司 自适应时序变化的设计自动化验证方法、系统及验证平台
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。