用于生成形式验证环境的方法、电子设备及存储介质
基本信息
| 申请号 | CN202110995708.5 | 申请日 | - |
| 公开（公告）号 | CN113947050A | 公开（公告）日 | 2022-01-18 |
| 申请公布号 | CN113947050A | 申请公布日 | 2022-01-18 |
| 分类号 | G06F30/367（2020.01）I | 分类 | 计算；推算；计数; |
| 发明人 | 高世超;陈明科 | 申请（专利权）人 | 芯华章科技股份有限公司 |
| 代理机构 | 北京风雅颂专利代理有限公司 | 代理人 | 王刚 |
| 地址 | 211800江苏省南京市江北新区华创路共享空间01栋18层 | ||
| 法律状态 | - | ||
摘要
| 摘要 | 本申请提供了一种用于生成形式验证环境的方法、电子设备及存储介质。该方法包括：接收用于描述逻辑系统设计的功能的配置文件，其中，配置文件指示逻辑系统设计的设计类型以及与设计类型对应的参数；根据配置文件确定与逻辑系统设计对应的数据库文件；在数据库文件中获取与逻辑系统设计对应的多个形式验证环境参数；以及根据形式验证环境参数生成形式验证环境。 |
