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

Functional verification language 'e'

作废

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

您也可以尝试购买此标准，
点击右侧 “立即购买” 按钮开始采购（由第三方提供）。

标准号

IEEE 1647-2006

发布

2006年

发布单位

美国电气电子工程师学会

替代标准

IEEE 1647-2008

当前最新

IEEE 1647-2019

 

 

适用范围

电子功能验证语言是一种特定于应用程序的编程语言，旨在自动化验证电子设计与其规范的任务。用 e 编写的验证环境提供了设计预期运行的环境模型，包括设计需要承受的各种错误条件。典型的验证环境能够生成具有统计上有趣的特征的用户控制的测试输入。这样的环境可以检查设计响应的有效性。功能覆盖率指标用于控制验证工作并衡量设计的质量。验证环境可以在整个设计周期中使用，从高级架构模型到完全实现的系统。该标准包含e语言语法和语义的定义，以及工具开发人员和验证工程师应如何使用它们。

IEEE 1647-2006相似标准