T/EDASQUARE 21-2025 形式验证指引格式
T/EDASQUARE 21-2025 Form Validation Guideline Format。
团体标准
中文(简体)
现行
页数：0页
|
格式：PDF
基本信息
标准号
T/EDASQUARE 21-2025
标准类型
团体标准
标准状态
现行
发布日期
2025-04-01
实施日期
2025-04-01
发布单位/组织
-
归口单位
上海电子设计自动化发展促进会
适用范围
主要技术内容:本文件规定了统一的形式验证指引技术规范，用于表述数字电路在实现和与优化过程中的发生的电路变换并加速验证过程。本文件适用于数字实现工具与形式验证工具之间传递指引信息
发布历史
-
2025年04月
文前页预览
当前资源暂不支持预览
研制信息
- 起草单位：
- 中国科学院软件研究所、华东师范大学、宁波大学、深圳鸿芯微纳技术有限公司、深圳市海思半导体有限公司、北京华大九天科技股份有限公司、奇捷科技（深圳）有限公司、上海阿卡思微电子技术有限公司、上海立芯软件科技有限公司、上海合见工业软件集团有限公司、芯华章科技股份有限公司
- 起草人：
- 蔡少伟、李建文、储著飞、肖勇、邵云、高闯、朱庆玮、黎何、魏星、袁军、王锐、吴清巍、潘培琛、唐进、田光骥、孙晓阳、刘军、齐正华
- 出版信息：
- 页数：- | 字数：- | 开本： -
内容描述
暂无内容
定制服务
推荐标准
- T/GDCKCJH 067-2022 恒温振荡培养箱性能要求与检测方法 2022-11-21
- T/GDCKCJH 047-2021 口罩阻燃性测试仪性能要求与检测方法 2021-12-17
- T/HIS 002-2021 城市道路智慧照明控制系统 2021-01-05
- T/CMA 037-2021 甲醇气体检测报警器校准方法 2021-05-20
- T/EPIAJL 1-2018 水内冷发电机内冷水箱含氢量、内冷水系统漏氢量检测技术规范 2018-12-01
- T/ZSM 0028-2023 诚信计量示范加油站建设规范 1970-01-01
- T/CAB 0071-2020 全息纸及其印刷品的色差测量方法 2020-10-27
- T/ZZB 2704-2022 透明防静电载带片材 2022-03-28
- T/CEC 608-2022 表面电位测量杆通用技术条件 2022-06-23
- T/CI 172-2023 扑翼飞行机器人机载视觉系统 2023-11-02