一种断言属性构造方法和系统与断言验证方法和系统技术方案

本发明专利技术提供了一种断言属性构造方法和系统与断言验证方法和系统，涉及断言验证技术领域。所述断言属性构造方法包括步骤S1、获取仿真变量的所有备选参数；S2、构造仿真变量在所有备选参数下的断言属性；所述断言验证方法包括步骤：S3、启用控制参数对应的断言属性使其处于使能状态，并禁用不符合控制参数的断言属性；S4、通过使能状态的断言属性执行断言验证，判断仿真变量在仿真过程中执行的动作是否与控制变量相符合；S5、获取断言验证结果。本发明专利技术在构造断言属性过程中，无需人工对所有断言属性逐一进行构造，节约人力保证研发进度，并且不使用其他程序端口，不需要额外的脚本辅助，可复用，执行效率高。执行效率高。执行效率高。

【技术实现步骤摘要】
一种断言属性构造方法和系统与断言验证方法和系统


[0001]本专利技术涉及断言验证
，更具体地，涉及一种断言属性构造方法和系统与断言验证方法和系统。

技术介绍

[0002]芯片中的一个信号存在有效态和无效态，断言验证是对芯片中一个信号在信号有效态持续的周期数是否与控制参数相符合进行判断；芯片信号还可以是相对于第一信号上升沿触发点或下降沿触发点之后，第二信号在无效态延迟一定周期切换到有效态，芯片断言验证同样可验证延迟周期数是否与仿真参数相符合，芯片设计过程中进行断言验证是验证芯片设计是否合格的重要环节。
[0003]现有的断言验证方法需要对信号仿真变量所有可能的仿真参数逐一人工构造断言属性，若在芯片设计中仿真参数数量较少，则人工构造断言属性尚可实现，但随着芯片结构日益复杂，对于仿真参数数量大的断言验证情况，人工构造断言属性会耗费芯片验证人员大量精力，延长开发周期。
[0004]现有技术为解决上述问题提供了一种自动生成断言的方法及装置，根据用户在所述实例化界面输入的断言实例化参数对断言验证代码进行实例化，虽然可以一定程度上解决本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种断言属性构造方法，其特征在于，包括步骤：S1、获取仿真变量的所有备选参数；S2、根据所述备选参数构造仿真变量在所有备选参数下的断言属性。2.一种断言验证方法，使用权利要求1所述断言属性构造方法构造的断言属性进行断言验证，其特征在于，包括步骤：S3、在进行仿真时，使用控制参数控制仿真变量执行相应动作，所述控制参数是从所有的备选参数中选取的一个参数，启用控制参数对应的断言属性使其处于使能状态，并禁用不符合控制参数的断言属性；S4、通过使能状态的断言属性执行断言验证，判断仿真变量在仿真过程中执行的动作是否与控制变量相符合；S5、得到仿真过程与控制变量相符合或不符合的断言验证结果。3.根据权利要求2所述的一种参数化断言验证方法，其特征在于，步骤S4执行断言验证的方法为：利用使能状态的断言属性判断所述仿真变量在仿真时实际持续的有效态重复周期数是否与控制参数相符合；步骤S5得到断言验证结果的方法为：若仿真变量实际持续的有效态重复周期数与控制参数相符合，则断言验证通过，否则断言验证不通过。4.根据权利要求2所述的一种参数化断言验证方法，其特征在于，步骤S4执行断言验证的方法为：利用使能状态的断言属性判断所述仿真变量在仿真时实际持续的无效态延迟周期数是否与控制参数相符合；步骤S5得到断言验证结果的方法为：若仿真变量实际持续的无效态延迟周期数与控制参数相符合，则断言验证通过，否则断言验证不通过。5.根据权利要求2所述的一种参数化断言验证方法，其特征在于，步骤S3采用disable iff方法禁用不符合控制参数的断言属性。6.一种断言属性构造系统，用于执行权利要求1所述的断言属性构造方法，其特征...

【专利技术属性】
技术研发人员：叶智辉，余凯，李思臻，
申请(专利权)人：广东工业大学，
类型：发明
国别省市：