登录
注册
首页
政策文件
标准化活动
社会团体
团体标准
抽查公示
常见问题
联系我们
首页
>
团体标准
>
团体标准详情
ICS
31
团体标准
T/EDASQUARE 21—2025
形式验证指引格式
2025-06-12发布
2025-04-01实施
上海电子设计自动化发展促进会 发布
现行
T/EDASQUARE 21—2025
形式验证指引格式
Formal Verification Guide Format
公布日期:2025-06-12
发布日期:2025-04-01
实施日期:2025-04-01
所属团体:上海电子设计自动化发展促进会
标准发布公告
分类信息
国际标准分类
31 电子学 -> 31.200 集成电路、微电子学
中国标准分类
-
国民经济分类
I 信息传输、软件和信息技术服务业 -> I65 软件和信息技术服务业 -> I6520 集成电路设计
研制信息
起草单位
中国科学院软件研究所
华东师范大学
宁波大学
深圳鸿芯微纳技术有限公司
深圳市海思半导体有限公司
北京华大九天科技股份有限公司
奇捷科技(深圳)有限公司
上海阿卡思微电子技术有限公司
上海立芯软件科技有限公司
上海合见工业软件集团有限公司
芯华章科技股份有限公司。
起草人
蔡少伟
李建文
储著飞
肖 勇
邵 云
高 闯
朱庆玮
黎 何
魏 星
袁 军
王 锐
吴清巍
潘培琛
唐 进
田光骥
孙晓阳
刘 军
齐正华。
范围
主要技术内容
本文件规定了统一的形式验证指引技术规范,用于表述数字电路在实现和与优化过程中的发生的电路变换并加速验证过程。 本文件适用于数字实现工具与形式验证工具之间传递指引信息。
适用范围
是否包含专利
否
{{$t('common.home')}}
>
团体标准
>
团体标准详情
预览模式,未正式公布,仅供预览使用!
预览模式,未正式公布,仅供预览使用!
预览模式,未正式公布,仅供预览使用!
预览模式,未正式公布,仅供预览使用!
预览模式,未正式公布,仅供预览使用!
预览模式,未正式公布,仅供预览使用!
预览模式,未正式公布,仅供预览使用!
预览模式,未正式公布,仅供预览使用!
预览模式,未正式公布,仅供预览使用!
{{ detail.standardStatusName }}
{{ $t('standardDetail.aboutToAbolish') }}
{{ detail.standardNo }}
{{ detail.standardTitleCn }}
{{ detail.standardTitleEn }}
{{$t('standardDetail.filePublishDate')}}:{{ detail.filePublishDate || '-' }}
{{$t('standardDetail.publishDate')}}:{{ detail.publishDate || '-' }}
{{$t('standardDetail.implementDate')}}:{{ detail.implementDate || '-' }}
{{$t('standardDetail.abolishTime')}}:{{ detail.disabledDate || '-' }}
{{$t('standardDetail.upcomingAbolishDate')}}:{{ detail.disabledDate }}
{{$t('standardDetail.belongOrg')}}:{{ detail.organName }}
{{ file.tagName }}
{{ (detail.isOpen == 1 && detail.hasCnPdf == true) ? $t('standardDetail.previewCn') : '不公开' }}
{{$t('standardDetail.previewEn')}}
{{ detail.isSale == 1 ? $t('organization.purchase') : $t('organization.notPurchasable') }}
{{$t('organization.complaint')}}
{{ $t('standardDetail.adminPreviewCn') }}
{{ $t('standardDetail.adminPreviewEn') }}
{{ timelineRecordSep }}
{{ date }}
{{ getTimelineDisplayTitle(cell.item) }}
当前
{{ meta.label }}:
{{ meta.value }}
{{$t('standardDetail.categoryInfo')}}
{{$t('standardDetail.icsNo')}}
{{ detail.icsl1Name || '-' }}
{{$t('standardDetail.ccsNo')}}
{{ detail.ccss1Name || '-' }}
{{$t('standardDetail.nationalEconomy')}}
{{ detail.ccsl1Name || '-' }}
{{$t('standardDetail.developInfo')}}
{{$t('standardDetail.draftingUnit')}}
{{ part.text }}
{{ part.text }}
{{ part.text }}
-
{{$t('standardDetail.drafter')}}
{{ name }}
{{ drafterText }}
-
{{$t('standardDetail.applicableScope')}}
{{$t('standardDetail.mainContent')}}
{{ detail.mainContent || '-' }}
{{$t('standardDetail.scope')}}
{{ detail.scope || '-' }}
{{$t('standardDetail.hasPatent')}}
{{ detail.isPatentName || '-' }}