收录自团体标准信息平台，认准啦(RenZhunLa.com)为执行该团体标准的产品或服务提供推介展位，欢迎留言交流。
| 标准详细信息 |
|---|
| 标准状态 | 现行 |
| 标准编号 | T/EDASQUARE 21—2025 |
| 中文标题 | 形式验证指引格式 |
| 英文标题 | Formal Verification Guide Format |
| 国际标准分类号 | 31.200 |
| 中国标准分类号 | |
| 国民经济分类 | I6520 集成电路设计 |
| 发布日期 | 2025年04月01日 |
| 实施日期 | 2025年04月01日 |
| 起草人 | 蔡少伟、李建文、储著飞、肖勇、邵云、高闯、朱庆玮、黎何、魏星、袁军、王锐、吴清巍、潘培琛、唐进、田光骥、孙晓阳、刘军、齐正华。 |
| 起草单位 | 中国科学院软件研究所、华东师范大学、宁波大学、深圳鸿芯微纳技术有限公司、深圳市海思半导体有限公司、北京华大九天科技股份有限公司、奇捷科技（深圳）有限公司 、上海阿卡思微电子技术有限公司、上海立芯软件科技有限公司、上海合见工业软件集团有限公司、芯华章科技股份有限公司。 |
| 范围 | |
| 主要技术内容 | 本文件规定了统一的形式验证指引技术规范，用于表述数字电路在实现和与优化过程中的发生的电路变换并加速验证过程。
本文件适用于数字实现工具与形式验证工具之间传递指引信息。
|
| 是否包含专利信息 | 否 |
| 标准文本 | 不公开 |
| 团体详细信息 |
|---|
| 团体名称 | 上海电子设计自动化发展促进会 |
| 登记证号 | 51310000MJ4905543H | 发证机关 | 上海市民政局 |
| 业务范围 | 开展电子设计自动化及相关领域的调查研究，技术创新，编辑出版，标准制定，测试评价，培训与交流，展览展示，承接相关委托事项。（涉及行政许可的，凭许可证开展业务） |
| 法定代表人/负责人 | 郑云升 |
| 依托单位名称 | |
| 通讯地址 | 上海市浦东新区龙东大道3000号1幢裙房217-08室 | 邮编 : 201203 |
收录自团体标准信息平台，认准啦(RenZhunLa.com)为执行该团体标准的产品或服务提供推介展位，欢迎留言交流。