GB/T 4855-1984
废止
T/EDASQUARE 21-2025
现行
团体标准
T/EDASQUARE 21-2025 形式验证指引格式
T/EDASQUARE 21-2025 Form Validation Guideline Format。
价格:
$ 20.00
基本信息
标准编号:
T/EDASQUARE 21-2025
标准类型:
团体标准
标准状态:
现行
is_force_gb:
no
中国标准分类名称:
-
国际标准分类名称:
集成电路、微电子学
发布日期:
2025-04-01
实施日期:
2025-04-01
归口单位:
上海电子设计自动化发展促进会
适用范围
主要技术内容:本文件规定了统一的形式验证指引技术规范，用于表述数字电路在实现和与优化过程中的发生的电路变换并加速验证过程。本文件适用于数字实现工具与形式验证工具之间传递指引信息
研制信息
起草单位:
中国科学院软件研究所、华东师范大学、宁波大学、深圳鸿芯微纳技术有限公司、深圳市海思半导体有限公司、北京华大九天科技股份有限公司、奇捷科技（深圳）有限公司、上海阿卡思微电子技术有限公司、上海立芯软件科技有限公司、上海合见工业软件集团有限公司、芯华章科技股份有限公司
起草人:
蔡少伟、李建文、储著飞、肖勇、邵云、高闯、朱庆玮、黎何、魏星、袁军、王锐、吴清巍、潘培琛、唐进、田光骥、孙晓阳、刘军、齐正华