【团体标准】形式验证指引格式

本网站发布时间： 2025-06-13

开通会员免费在线看70000余条国内标准，赠送文本下载次数，单本最低仅合13.3元！还可享标准出版进度查询、定制跟踪推送、标准查新等超多特权！查看详情>>

标准简介

本文件规定了统一的形式验证指引技术规范，用于表述数字电路在实现和与优化过程中的发生的电路变换并加速验证过程。本文件适用于数字实现工具与形式验证工具之间传递指引信息。

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

【团体标准】 形式验证指引格式