Standard

IEEE 1800-2023

Actuel

Note: Actuellement en cours d'élaboration: IEEE 1800-2023

Amendements et versions existants ou nouveaux doivent être achetés séparément.

Langue
Format

Résumé

Revision Standard - Active. The definition of the language syntax and semantics for SystemVerilog, which is a unified hardware design, specification, and verification language, is provided. This standard includes support for modeling hardware at the behavioral, register transfer level (RTL), and gate-level abstraction levels, and for writing test benches using coverage, assertions, object-oriented programming, and constrained random verification. The standard also provides application programming interfaces (APIs) to foreign programming languages. (The PDF of this standard is available at no cost at https://ieeexplore.ieee.org/browse/standards/get-program/page compliments of Accellera Systems Initiative)

Spécifications des produits

  • Standard de IEEE
  • Publié:
  • Type de document: IS
  • Pages
  • Editeur: IEEE
  • Distributeur: IEEE
  • Comité national: IEEE Computer Society / Design Automation

Relations produit

  • Référence: IEEE 754-2019
  • Révise: IEEE 1800-2017
  • Référence: IEEE 1800-2017
  • Révise: IEEE 1800-2017
  • Référence: IEEE 1800-2017
  • Référence: IEEE 1003.1-2017
  • Référence: IEEE 1800-2012
  • Référence: IEEE 1800-2009
  • Référence: IEEE 1364-2005
  • Référence: IEEE 1800-2005
  • Référence: IEEE 1364-2001
  • Référence: IEEE 1364-1995
  • Référence: Schneier, B., “Description of a New Variable-Length Key, 64-Bit Block Cipher (Blowfish),” Fast Software
  • Référence: IETF RFC 2045 (November 1996), Multipurpose Internet Mail Extensions (MIME), Part One: Format of Internet Message Bodies.
  • Référence: ISO/IEC 10118-3:2004, Information technology--Security techniques--Hash-functions--Part 3: Dedicated hash-functions.
  • Référence: FIPS 46-3 (October 1999), Data Encryption Standard (DES).
  • Référence: FIPS 197 (November 2001), Advanced Encryption Standard (AES).
  • Référence: IETF RFC 2144 (May 1997), The CAST-128 Encryption Algorithm.
  • Référence: IETF RFC 2440 (November 1998), OpenPGP Message Format.
  • Référence: IETF RFC 1321 (April 1992), The MD5 Message-Digest Algorithm.
  • Référence: FIPS 180-2 (August 2002), Secure Hash Standard (SHS).
  • Référence: IETF RFC 1319 (April 1992), The MD2 Message-Digest Algorithm.
  • Référence: ANSI X9.52-1998, American National Standard for Financial Services--Triple Data Encryption Algorithm Modes of Operation.
  • Référence: Schneier, B., et al., The Twofish Encryption Algorithm: A 128-Bit Block Cipher, 1st ed., Wiley, 1999.
  • Référence: Anderson, R., Biham, E., and Knudsen, L. “Serpent: A Proposal for the Advanced Encryption Standard,” NIST AES Proposal, 1998.
  • Référence: ElGamal, T., “A Public-Key Cryptosystem and a Signature Scheme Based on Discrete Logarithms,” IEEE Transactions on Information Theory, vol. IT-31, no. 4, pp. 469-472, July 1985.
  • Référence: IETF RFC 2437 (October 1998), PKCS #1: RSA Cryptography Specifications, Version 2.0.
  • Référence: Encryption, Cambridge Security Workshop Proceedings (December 1993), Springer-Verlag, 1994, pp. 191-204.