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

IEEE Standard for the Functional Verification Language e

IEEE 1647-2008 发布历史

The scope of this standard is the definition of the e functional verification language. This standard aims to serve as an authoritative source for the definition of: a) syntax and semantics of e language constructs b) the e language interaction with standard simulation languages c) e language libraries This revision extends the standard to cover novel verification-related features.

IEEE 1647-2008由美国电气电子工程师学会 US-IEEE 发布于 2008-08-03。

IEEE 1647-2008 在中国标准分类中归属于: L74 程序语言，在国际标准分类中归属于: 35.060 信息技术用语言。

IEEE 1647-2008的历代版本如下：

• 2006年 IEEE 1647-2006 'e'语言的功能性验证
• 2008年08月03日 IEEE 1647-2008 功能性验证语言'e'
• 2011年 IEEE 1647-2011 功能性验证语言'e'

非常抱歉，我们暂时无法提供预览，您可以试试： 免费下载 IEEE 1647-2008 前三页，或者稍后再访问。

注意： 点击下载后，生成下载文件时间比较长，请耐心等待......

标准号

IEEE 1647-2008

发布日期

2008年08月03日

实施日期

废止日期

无

中国标准分类号

L74

国际标准分类号

35.060

发布单位

US-IEEE

适用范围

The scope of this standard is the definition of the e functional verification language. This standard aims to serve as an authoritative source for the definition of: a) syntax and semantics of e language constructs b) the e language interaction with standard simulation languages c) e language libraries This revision extends the standard to cover novel verification-related features.