IEEE 1647-2011 功能性验证语言'e'

作者:标准资料网时间:2024-05-11 18:07:32 浏览:8482 来源:标准资料网

【英文标准名称】:Functionalverificationlanguage'e'
【原文标准名称】:功能性验证语言'e'
【标准号】:IEEE1647-2011
【标准状态】:现行
【国别】:美国
【发布日期】:2011
【实施或试行日期】:
【发布单位】:美国电气电子工程师学会(US-IEEE)
【起草单位】:IEEE
【标准类型】:()
【标准水平】:()
【中文主题词】:计算机软件;数据处理;数据处理系统;数据类型;定义;耐久性;定义(术语);设计;电气试验;电气测试;电子的;信息技术;输入;;集成电路;积分电路;相互作用;图书馆;编制程序;程序设计;程序设计语言;语义学;模拟;句法;单位;验证
【英文主题词】:Computersoftware;Dataprocessing;Dataprocessingsystem;Datatypes;Definitions;Design;Electricaltesting;Electronic;Informationtechnology;Input;Inputlanguage;Integratedcircuits;Integratingcircuits;Interaction;Libraries;Programming;Programminglanguages;Semantics;Simulation;Syntax;Units;Verification
【摘要】:
【中国标准分类号】:L74
【国际标准分类号】:35_060
【页数】:495P;A4
【正文语种】:英语

下载地址: 点击此处下载

返回跳至顶部

上一篇: DIN EN 302755-2011 数字视频广播(DVB).第二代数字陆地电视广播系统(DVB-T2)用帧结构,信道编码与译制(EN302755V1.2.1(2011-02)标准的英文核准本作为德国标准)
下一篇: IEEE 1682-2011 用于核电站安全性系统中具备资质的光缆,连接器,以及光纤拼接试用标准

标准名称：	白肋烟
英文名称：	Burley tobacco
中标分类：	食品 >> 制烟 >> 烟草制品
ICS分类：	农业 >> 烟草、烟草制品和烟草工业设备
替代情况：	替代GB 8966-1988
发布部门：	中华人民共和国国家质量监督检验检疫总局中国国家标准化管理委员会
发布日期：	2005-08-31
实施日期：	2005-09-15
首发日期：	1988-03-31
作废日期：	1900-01-01
主管部门：	国家烟草专卖局
提出单位：	全国烟草标准化技术委员会农业分技术委员会
归口单位：	全国烟草标准化技术委员会
起草单位：	中国烟叶公司、湖北省烟叶产销公司、中国烟草标准化中心
起草人：	聂和平、李锐、冯茜、刘刚毅、袁国林、张树模、王国宏、杨久红、王乃谦
出版社：	中国标准出版社
出版日期：	1900-01-01
页数：	9页
计划单号：	20010463-Q-456