T/EDASQUARE 21-2025 形式验证指引格式

团体标准中文(简体) 现行页数：0页 | 格式：PDF

标准号

T/EDASQUARE 21-2025

标准类型

团体标准

标准状态

现行

中国标准分类号（CCS）

国际标准分类号（ICS）

31.200 集成电路、微电子学

发布日期

2025-04-01

实施日期

2025-04-01

发布单位/组织

归口单位

上海电子设计自动化发展促进会

适用范围

主要技术内容:本文件规定了统一的形式验证指引技术规范，用于表述数字电路在实现和与优化过程中的发生的电路变换并加速验证过程。本文件适用于数字实现工具与形式验证工具之间传递指引信息

当前资源暂不支持预览

起草单位：: 中国科学院软件研究所、华东师范大学、宁波大学、深圳鸿芯微纳技术有限公司、深圳市海思半导体有限公司、北京华大九天科技股份有限公司、奇捷科技（深圳）有限公司、上海阿卡思微电子技术有限公司、上海立芯软件科技有限公司、上海合见工业软件集团有限公司、芯华章科技股份有限公司

暂无内容

更多>