T/EDASQUARE 21-2025 形式验证指引格式
T/EDASQUARE 21-2025
团体标准
中文(简体)
现行
页数：0页
|
格式：PDF
基本信息
标准号
T/EDASQUARE 21-2025
标准类型
团体标准
标准状态
现行
发布日期
2025-04-01
实施日期
2025-04-01
发布单位/组织
-
归口单位
上海电子设计自动化发展促进会
适用范围
主要技术内容:本文件规定了统一的形式验证指引技术规范，用于表述数字电路在实现和与优化过程中的发生的电路变换并加速验证过程。本文件适用于数字实现工具与形式验证工具之间传递指引信息
发布历史
-
2025年04月
文前页预览
当前资源暂不支持预览
研制信息
- 起草单位：
- 中国科学院软件研究所、华东师范大学、宁波大学、深圳鸿芯微纳技术有限公司、深圳市海思半导体有限公司、北京华大九天科技股份有限公司、奇捷科技（深圳）有限公司、上海阿卡思微电子技术有限公司、上海立芯软件科技有限公司、上海合见工业软件集团有限公司、芯华章科技股份有限公司
- 起草人：
- 蔡少伟、李建文、储著飞、肖勇、邵云、高闯、朱庆玮、黎何、魏星、袁军、王锐、吴清巍、潘培琛、唐进、田光骥、孙晓阳、刘军、齐正华
- 出版信息：
- 页数：- | 字数：- | 开本： -
内容描述
暂无内容
定制服务
推荐标准
- QJ 1133.11-1987 机械夹固式车刀 转位式螺纹车刀 1987-03-07
- HB 2028-1974 表夹 1974-11-11
- HB 1269-1975 正方形支座 ３０×３０×１２ 1975-01-01
- HB 1727-1987 压板支座 1987-04-08
- JB/T 1732-1992 阀门结构要素锥形密封面尺寸 1992-12-24
- QJ 1960.2-1990 轻系列多功能组合式冲压模架元件 整形基础件 1990-02-13
- HB 3947-1987 简式Ｖ形支承 1987-04-08
- HB 1295-1975 回转压板 ２０×６０×１５×Ｍ８ 1975-01-01
- HB 4-53-1983 铅封 1984-08-23
- SJ 2354.3-1983 ＰＩＮ、雪崩光电二极管暗电流的测试方法 1983-08-15