1. 当前位置：
  2. 首页 >
  3. 团体标准 >
  4. T/EDASQUARE 21-2025

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

T/EDASQUARE 21-2025

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

基本信息

标准号
T/EDASQUARE 21-2025
标准类型
团体标准
标准状态
现行
中国标准分类号（CCS）
-
国际标准分类号（ICS）
31.200 集成电路、微电子学
发布日期
2025-04-01
实施日期
2025-04-01
发布单位/组织
-
归口单位
上海电子设计自动化发展促进会
适用范围
主要技术内容:本文件规定了统一的形式验证指引技术规范，用于表述数字电路在实现和与优化过程中的发生的电路变换并加速验证过程。本文件适用于数字实现工具与形式验证工具之间传递指引信息

发布历史

文前页预览

当前资源暂不支持预览

研制信息

起草单位：
中国科学院软件研究所、华东师范大学、宁波大学、深圳鸿芯微纳技术有限公司、深圳市海思半导体有限公司、北京华大九天科技股份有限公司、奇捷科技（深圳）有限公司、上海阿卡思微电子技术有限公司、上海立芯软件科技有限公司、上海合见工业软件集团有限公司、芯华章科技股份有限公司
起草人：
蔡少伟、李建文、储著飞、肖勇、邵云、高闯、朱庆玮、黎何、魏星、袁军、王锐、吴清巍、潘培琛、唐进、田光骥、孙晓阳、刘军、齐正华
出版信息：
页数：- | 字数：- | 开本： -

内容描述

暂无内容

定制服务

    推荐标准

    相似标准推荐

    更多>