收录自团体标准信息平台，认准啦(RenZhunLa.com)为执行该团体标准的产品或服务提供推介展位，欢迎留言交流。 标准详细信息 标准状态 现行 标准编号 T/EDASQUARE 21—2025 中文标题 形式验证指引格式 英文标题 Formal Verification Guide Format 国际标准分类号 31.200 中国标准分类号 国民经济分类 I6520 集成电路设计 发布日期 2025年04月01日 实施日期 2025年04月01日 起草人 蔡少伟、李建文、储著飞、肖勇、邵云、高闯、朱庆玮、黎何、魏星、袁军、王锐、吴清巍、潘培琛、唐进、田光骥、孙晓阳、刘军、齐正华。 起草单位 中国科学院软件研究所、华东师范大学、宁 …