发明名称 一种自动生成断言的方法及装置
摘要 本发明实施例公开了一种自动生成断言的方法及装置,该方法包括第一输出步骤,输出用户从多个预先保存的断言模板中选择的目标断言模板的实例化界面;每个断言模板对应于一用于功能验证的断言验证代码;实例化步骤,根据用户在所述实例化界面输入的断言实例化参数对所述断言验证代码进行实例化,得到实例化的第一断言验证代码;绑定步骤,根据所述用户输入的待验证模块的模块信息将所述实例化的第一断言验证代码绑定到所述待验证模块,得到断言验证仿真文件。本发明大大提高了项目开发过程中断言验证代码与模块之间的绑定速度,保证了项目进程。
申请公布号 CN103020396A 申请公布日期 2013.04.03
申请号 CN201210595076.4 申请日期 2012.12.31
申请人 青岛中星微电子有限公司 发明人 刘利剑;王欣;张亦农
分类号 G06F17/50(2006.01)I 主分类号 G06F17/50(2006.01)I
代理机构 北京银龙知识产权代理有限公司 11243 代理人 许静;黄灿
主权项 一种自动生成断言的方法,其特征在于,包括:第一输出步骤,输出用户从多个预先保存的断言模板中选择的目标断言模板的实例化界面;每个断言模板对应于一用于功能验证的断言验证代码;实例化步骤,根据用户在所述实例化界面输入的断言实例化参数对所述断言验证代码进行实例化,得到实例化的第一断言验证代码;绑定步骤,根据所述用户输入的待验证模块的模块信息将所述实例化的第一断言验证代码绑定到所述待验证模块,得到断言验证仿真文件。
地址 266109 山东省青岛市高新区智力岛路1号创业大厦C座6层