发明名称 |
一种自动生成断言的方法及装置 |
摘要 |
本发明公开了一种自动生成断言的方法及装置,该方法用于为一待验证模块生成断言验证代码,包括:根据用户输入确定所述待验证模块对应的仿真波形数据、待验证对象和波形数据提取条件;从待验证对象的仿真波形数据中提取满足波形的数据提取条件的部分作为待匹配波形数据;根据待匹配波形数据计算所述待验证对象的值;从多个预先保存的断言模板中选择与待验证对象的值匹配的至少一个断言模板;输出选择的断言模板对应的SVA代码作为所述待验证模块的断言验证代码。本发明降低了项目开发过程中的Assertion(断言)代码的使用难度,保证了项目进度。 |
申请公布号 |
CN103019745B |
申请公布日期 |
2015.10.21 |
申请号 |
CN201210594222.1 |
申请日期 |
2012.12.31 |
申请人 |
青岛中星微电子有限公司 |
发明人 |
徐林伟;王欣 |
分类号 |
G06F9/44(2006.01)I |
主分类号 |
G06F9/44(2006.01)I |
代理机构 |
北京银龙知识产权代理有限公司 11243 |
代理人 |
许静;黄灿 |
主权项 |
一种自动生成断言的方法,用于为一待验证模块生成断言验证代码,其特征在于,包括:确定步骤,根据用户输入确定所述待验证模块对应的仿真波形数据、待验证对象和波形数据提取条件;提取步骤,从所述待验证对象的仿真波形数据中提取满足所述波形数据提取条件的部分作为待匹配波形数据;计算步骤,根据所述待匹配波形数据计算所述待验证对象的值;匹配步骤,从多个预先保存的断言模板中选择与所述待验证对象的值匹配的至少一个断言模板;输出步骤,输出选择的所述至少一个断言模板对应的SVA代码作为所述待验证模块的断言验证代码,所述SVA代码绑定到所述待验证模块后,能够利用所述SVA代码对所述待验证模块进行基于断言的验证。 |
地址 |
266109 山东省青岛市高新区智力岛路1号创业大厦C座6层 |