IEEE Standard for SystemVerilog—Unified Hardware Design, Specification, and Verification Language笔记2

IEEE Standard for SystemVerilog—Unified Hardware Design, Specification, and Verification Language笔记第2章

概要

1. 标准概述：

   • 标准名称：IEEE Std 1800-2017，SystemVerilog统一硬件设计、规范和验证语言标准。
   • 发布机构：IEEE（电气和电子工程师协会）。
   • 版本日期：该标准在2017年发布。

2. 规范性引用文件：

   • 列出了该标准应用所必需的参考文档，包括加密算法、安全协议、数据加密标准、哈希算法、浮点运算标准、操作系统接口标准等。
   • 例如，Anderson等人提出的Serpent加密算法（NIST AES Proposal, 1998），ANSI X9.52-1998关于金融服务的三重数据加密算法，以及ElGamal的公钥密码系统等。

3. 标准内容范畴：

   • 设计：涵盖硬件设计的各个方面，包括但不限于行为描述、结构描述、接口定义等。
   • 规范：提供硬件设计的详细规范，确保设计的一致性和准确性。
   • 验证：包括验证语言的功能和特性，支持硬件设计的验证过程，确保设计的正确性和性能。

4. 历史版本沿革：

   • 提到了SystemVerilog标准的多个历史版本，如IEEE Std 1800-2005、IEEE Std 1800-2009、IEEE Std 1800-2012，展示了该标准的持续发展和完善过程。

5. 标准的应用与获取：

   • 说明了标准文档的获取途径，包括从IEEE、ANSI、NIST等官方渠道下载。
   • 强调了版权信息，指出文档的使用需遵守IEEE的版权规定。

6. 附加信息与资源：

   • 提供了一些附加的资源和信息，如IETF RFCs（如MD2、MD5、PKCS #1等）、ISO/IEC标准（如ISO/IEC 10118-3:2004）、以及Schneier等人提出的加密算法（如Blowfish、Twofish）的详细描述和参考文献。

7. 标准的重要性：

   • SystemVerilog作为硬件设计和验证的标准化语言，在电子设计自动化（EDA）行业中具有重要地位。
   • 该标准的不断更新和完善，推动了硬件设计和验证技术的发展，提高了设计的效率和质量。

内容： 第2章 规范性引用文件（Normative references）

以下引用的文档对于本标准的应用是不可或缺的（即，必须理解并使用它们，因此，每个引用的文档都在正文中被引用，并解释了其与本文档的关系）。对于有日期标注的引用，仅适用所引用的版本。对于未标注日期的引用，则适用该引用文档的最新版本（包括任何修订案或勘误表）。

• Anderson, R., Biham, E., 和 Knudsen, L. “Serpent: Advanced Encryption Standard的提案,” NIST AES Proposal, 1998年5月。（该文档可从http://www.cl.cam.ac.uk/~rja14/Papers/serpent.tar.gz获取。）

• ANSI X9.52-1998, 金融服务美国国家标准——三重数据加密算法操作模式。（ANSI出版物可从美国国家标准化协会(http://www.ansi.org/)获取。）

• ElGamal, T., “基于离散对数的公钥密码系统和签名方案,” IEEE Transactions on Information Theory, 卷IT-31, 第4期, 页码469–472, 1985年7月。

• FIPS 46-3 (1999年10月), 数据加密标准(DES)。（FIPS出版物可从国家技术信息服务局(http://www.ntis.gov/)获取。）

• FIPS 180-2 (2002年8月), 安全哈希标准(SHS)。

• FIPS 197 (2001年11月), 高级加密标准(AES)。

• IEEE Std 754™, IEEE浮点算术标准。（IEEE出版物可从电气和电子工程师协会(http://standards.ieee.org/)获取。/本条款中提到的IEEE标准或产品为电气和电子工程师协会（Inc.）的商标。）

• IEEE Std 1003.1™, IEEE信息技术标准——可移植操作系统接口(POSIX®)。

• IEEE Std 1364™-1995, 基于Verilog®硬件描述语言的IEEE标准硬件描述语言。

• IEEE Std 1364™-2001, IEEE Verilog硬件描述语言标准。

• IEEE Std 1364™-2005, Verilog硬件描述语言的IEEE标准。

• IEEE Std 1800™-2005, SystemVerilog统一硬件设计、规范和验证语言的IEEE标准。

• IEEE Std 1800™-2009, SystemVerilog统一硬件设计、规范和验证语言的IEEE标准。

• IEEE Std 1800™-2012, SystemVerilog统一硬件设计、规范和验证语言的IEEE标准。

• IETF RFC 1319 (1992年4月), MD2消息摘要算法。(IETF文档（即RFCs）可从http://www.rfc-archive.org/下载。)

• IETF RFC 1321 (1992年4月), MD5消息摘要算法。

• IETF RFC 2045 (1996年11月), 多用途互联网邮件扩展(MIME), 第一部分: 互联网消息体的格式。

• IETF RFC 2144 (1997年5月), CAST-128加密算法。

• IETF RFC 2437 (1998年10月), PKCS #1: RSA密码系统规范，版本2.0。

• IETF RFC 2440 (1998年11月), OpenPGP消息格式。

• ISO/IEC 10118-3:2004, 信息技术—安全技术—哈希函数—第3部分：专用哈希函数。

• Schneier, B., “描述一种新的变长密钥、64位块密码（Blowfish）,” 快速软件加密，剑桥安全研讨会论文集（1993年12月）, Springer-Verlag, 1994, 页码191–204。

• Schneier, B., 等人, The Twofish Encryption Algorithm: A 128-Bit Block Cipher, 1st ed., Wiley, 1999。

---