温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明公开了属性综合中活性条件提取和可视化方法、系统、存储介质和终端，方法包括以下步骤：将描述芯片形式验证属性的基于正则表达式的断言转换为不确定状态机；将不确定状态机转换为确定状态机；在各转换步骤之后，提取状态循环上的状态转换条件并将其转换...
该专利属于成都奥卡思微电科技有限公司所有，仅供学习研究参考，未经过成都奥卡思微电科技有限公司授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。