Standard

IEEE 1800-2012

févr. 2013 Révisé

Connectez-vous ou enregistrez-vous pour ajouter ce produit à vos favoris.
Connectez-vous ou enregistrez-vous afin d'être notifié lorsque de nouvelles versions de ce produit sont disponibles.

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

Aperçu Lien externe

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

Langue Anglais

Format En ligne + PDF CHF 401.00 En ligne CHF 344.00

Il n'y a pas d'édition étendue disponible pour cette norme.

Il n'existe aucun rectificatif technique ou amendement pour cette norme. Ces derniers seront automatiquement ajoutés aux clients d'abonnements.

Résumé

Revision Standard - Superseded. 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. (Thanks to our sponsor, the PDF of this standard is provided to the public no charge. Visit GETIEEE program located at https://ieeexplore.ieee.org/browse/standards/get-program/page for details.)

Spécifications des produits

Standard de IEEE
Publié: 21 février 2013
Type de document: IS
Pages
ISBN: 978-0-7381-8110-3

Editeur: IEEE
Distributeur: IEEE
ICS: 35.060
Comité national: IEEE Computer Society / Design Automation

Relations produit

Référencé par: IEEE 1800-2023
Référencé par: IEEE 1800-2023
Référencé par: IEEE 2416-2019
Révisé par: IEEE 1800-2017
Révisé par: IEEE 1800-2017
Référencé par: IEEE 1801-2015
Référencé par: IEEE 1735-2014
Référencé par: IEEE 1735-2014
Référencé par: IEEE 1685-2014
Référencé par: IEEE 1801-2013
Révise: IEEE 1800-2009
Référence: IEEE 1800-2009
Référence: IEEE 1003.1-2008
Référence: IEEE 754-2008
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: Anderson, R., Biham, E., and Knudsen, L. “Serpent: A Proposal for the Advanced Encryption Standard,” NIST AES Proposal, 1998.
Référence: ANSI X9.52-1998, American National Standard for Financial Services--Triple Data Encryption Algorithm Modes of Operation.
Référence: FIPS 46-3 (October 1999), Data Encryption Standard (DES).
Référence: FIPS 180-2 (August 2002), Secure Hash Standard (SHS).
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: FIPS 197 (November 2001), Advanced Encryption Standard (AES).

Extended editions Autres éditions (0)

Version history Corrigenda et Amendements connexes (0)

Version history History (6)

IEEE 1800-2023

IEEE 1800-2017

IEEE 1800-2017

IEEE 1800-2012

IEEE 1800-2009

IEEE 1800-2005

Résumé

Spécifications des produits

Relations produit