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

公开了一种断言产生系统。在断言产生系统（２０７）中，图形编辑器（２０１）根据用户操作通过使用状态转换表和状态转换图对半导体集成电路的规格（无限状态机、过程序列）进行图形编辑、或者通过将过程序列编辑为时序图和时间序列图，来产生半导体集成电路的...
该专利属于株式会社理光所有，仅供学习研究参考，未经过株式会社理光授权不得商用。

详细技术文档下载地址

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