一种自动生成断言的方法及装置制造方法及图纸

本发明专利技术公开了一种自动生成断言的方法及装置，该方法用于为一待验证模块生成断言验证代码，包括：根据用户输入确定所述待验证模块对应的仿真波形数据、待验证对象和波形数据提取条件；从待验证对象的仿真波形数据中提取满足波形的数据提取条件的部分作为待匹配波形数据；根据待匹配波形数据计算所述待验证对象的值；从多个预先保存的断言模板中选择与待验证对象的值匹配的至少一个断言模板；输出选择的断言模板对应的SVA代码作为所述待验证模块的断言验证代码。本发明专利技术降低了项目开发过程中的Assertion(断言)代码的使用难度，保证了项目进度。

【技术实现步骤摘要】

本专利技术涉及验证
，特别是一种自动生成断言的方法及装置。
技术介绍
目前SoC(System on Chip,系统级芯片/片上系统，)越来越复杂,仿真验证也越来越困难。基于Assertion (断言)的验证作为一种重要的验证越来越受到重视。然而,基于Assertion (断言)的验证至少存在如下缺点由于每个开发项目都有一定的时限要求，由于Assertion代码需要熟悉SVA(SystemVerilog Assertion)语法的技术人员才能够编写，而且开发周期长，因此在项目压力较大的时候，就会导致项目延期。
技术实现思路
本专利技术实施例的目的在于提供一种自动生成断言的方法及装置，降低Assertion(断言)代码的使用难度，保证项目进度。为了实现上述目的，本专利技术实施例提供了一种自动生成断言的方法，用于为一待验证模块生成断言验证代码，包括确定步骤，根据用户输入确定所述待验证模块对应的仿真波形数据、待验证对象和波形数据提取条件；提取步骤，从所述待验证对象的仿真波形数据中提取满足所述波形的数据提取条件的部分作为待匹配波形数据；计算步骤，根据所述待匹配波形数据计算所述待验证对象的本文档来自技高网...

【技术保护点】
一种自动生成断言的方法，用于为一待验证模块生成断言验证代码，其特征在于，包括：确定步骤，根据用户输入确定所述待验证模块对应的仿真波形数据、待验证对象和波形数据提取条件；提取步骤，从所述待验证对象的仿真波形数据中提取满足所述波形数据提取条件的部分作为待匹配波形数据；计算步骤，根据所述待匹配波形数据计算所述待验证对象的值；匹配步骤，从多个预先保存的断言模板中选择与所述待验证对象的值匹配的至少一个断言模板；输出步骤，输出选择的所述至少一个断言模板对应的SVA代码作为所述待验证模块的断言验证代码，所述SVA代码绑定到所述待验证模块后，能够利用所述SVA代码对所述待验证模块进行基于断言的验证。

【技术特征摘要】
1.一种自动生成断言的方法，用于为一待验证模块生成断言验证代码，其特征在于，包括 确定步骤，根据用户输入确定所述待验证模块对应的仿真波形数据、待验证对象和波形数据提取条件； 提取步骤，从所述待验证对象的仿真波形数据中提取满足所述波形数据提取条件的部分作为待匹配波形数据； 计算步骤，根据所述待匹配波形数据计算所述待验证对象的值； 匹配步骤，从多个预先保存的断言模板中选择与所述待验证对象的值匹配的至少一个断目模板； 输出步骤，输出选择的所述至少一个断言模板对应的SVA代码作为所述待验证模块的断言验证代码，所述SVA代码绑定到所述待验证模块后，能够利用所述SVA代码对所述待验证模块进行基于断言的验证。2.根据权利要求1所述的自动生成断言的方法，其特征在于，所述预先保存的断言模板包括第一类型的用于数值验证的断言模板和第二类型的用于时序验证的断言模板； 所述匹配步骤具体包括 选择子步骤，从所述第一类型的断言模板和第二类型的断言模板选择类型与所述待验证对象的断言验证类型相同的模板形成一模板集合； 匹配子步骤，从所述模板集合中查找与所述待验证对象的值匹配的至少一个断言模板。3.根据权利要求2所述的自动生成断言的方法，其特征在于，所述待验证对象的断言验证类型为数值验证类型时，所述波形数据提取条件包括时间条件、阶段条件和有效性条件，所述提取步骤具体包括 从所述仿真波形数据中截取满足所述时间条件的第一仿真波形子数据； 从第一仿真波形子数据中截取所处阶段满足所述阶段条件的第二仿真波形子数据；从所述第二仿真波形子数据中截取数据有效性满足所述有效性条件的第三仿真波形子数据，作为所述待匹配波形数据。4.根据权利要求2所述的自动生成断言的方法，其特征在于，多个预先保存的断言模板具有各自的优先级，所述待验证对象的断言验证类型为数值验证类型时，所述匹配子步骤中，按照所述模板集合中的断言模板的优先级顺序逐个匹配，直至找到与所述待匹配波形数据匹配的断言模板。5.根据权利要求2所述的自动生成断言的方法，其特征在于，多个预先保存的断言模板具有各自的优先级，所述待验证对象的断言验证类型为时序验证类型时，所述匹配子步骤中，按照所述模板集合中的断言模板的优先级顺序逐个匹配，直至找到与所述待匹配波形数据匹配的断言模板，或者所有单个断言模板均不匹配时，使用所述模板集合中的断言模板的组合进行匹配，直至找到与所述待匹配波形数据匹配的断言模板组合。6.根据权利要求1所述的自动生成断言的方法，其特征在于，所述确定步骤具体包括 输出一 Excel模板供用户输入； 根据所述Excel模板中的输入信息确定所述待验证模块对应的仿真波形数据、待验证对象和波形数据提取条件。7.一种自动生成断言的装置，用于为一待验证模块生成断言验证代码，...

【专利技术属性】
技术研发人员：徐林伟，王欣，
申请(专利权)人：青岛中星微电子有限公司，
类型：发明
国别省市：