Standard

IEEE 1800-2012

feb 2013 Rivisto

Nota: Ora in fase di sviluppo: IEEE 1800-2023

Le modifiche e le versioni esistenti o nuove devono essere acquistate separatamente.

Lingua Inglese

Servizi Online + Pdf CHF 388.00 In linea CHF 333.00

Non sono disponibili edizioni estese per questo standard

Non sono disponibili corrigendum o emendamenti per questa norma. Eventuali corrigendum ed emendamenti futuri saranno aggiunti automaticamente per gli abbonati.

Astratto

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.)

Specifiche dei prodotti

Standard da IEEE
Pubblicato: 21 febbraio 2013
Tipo di documento: IS
Pagine
ISBN: 978-0-7381-8110-3

Publisher IEEE
Distributor IEEE
ICS 35.060
National Committee IEEE Computer Society / Design Automation

Relazioni con i prodotti

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

Crea abbonamento

Extended editions Edizioni estese (0)

Version history Rettifiche e modifiche correlate (0)

Version history La storia (6)

IEEE 1800-2023

IEEE 1800-2017

IEEE 1800-2017

IEEE 1800-2012

IEEE 1800-2009

IEEE 1800-2005

Astratto

Specifiche dei prodotti

Relazioni con i prodotti