IEC 62530:2021

SystemVerilog - Unified Hardware Design, Specification, and Verification Language

IEC 62530:2021

Name:IEC 62530:2021   Standard name:SystemVerilog - Unified Hardware Design, Specification, and Verification Language
Standard number:IEC 62530:2021   language:English language
Release Date:25-Jul-2021   technical committee:TC 91 - Electronics assembly technology
Drafting committee:   ICS number:25.040.01 - Industrial automation systems in general

IEC 62530
Edition 3.0 2021-07

IEEE Std 1800
INTERNATIONAL
STANDARD
SystemVerilog – Unified Hardware Design, Specification, and Verification
Language
All rights reserved. IEEE is a registered trademark in the U.S. Patent & Trademark Office, owned by the Institute of
Electrical and Electronics Engineers, Inc. Unless otherwise specified, no part of this publication may be reproduced
or utilized in any form or by any means, electronic or mechanical, including photocopying and microfilm, without
permission in writing from the IEC Central Office. Any questions about IEEE copyright should be addressed to the
IEEE. Enquiri es about obtaining additional rights to this publication and other information requests should be
addressed to the IEC or your local IEC member National Committee.

IEC Central Office Institute of Electrical and Electronics Engineers, Inc.
3, rue de Varembé 3 Park Avenue
CH-1211 Geneva 20 New York, NY 10016-5997
Switzerland United States of America
Tel.: +41 22 919 02 11 [email protected]
[email protected] www.ieee.org

About the IEC
The International Electrotechnical Commission (IEC) is the leading global organization that prepares and publishes
International Standards for all electrical, electronic and related technologies.

About IEC publications
The technical content of IEC publications is kept under constant review by the IEC. Please make sure that you have the
latest edition, a corrigendum or an amendment might have been published.

IEC publications search - webstore.iec.ch/advsearchform IEC online collection - oc.iec.ch
The advanced search enables to find IEC publications by a
Discover our powerful search engine and read freely all the
variety of criteria (reference number, text, technical publications previews. With a subscription you will always
committee, …). It also gives information on projects, replaced have access to up to date content tailored to your needs.
and withdrawn publications.
Electropedia - www.electropedia.org
IEC Just Published - webstore.iec.ch/justpublished
The world's leading online dictionary on electrotechnology,
Stay up to date on all new IEC publications. Just Published
containing more than 22 000 terminological entries in English
details all new publications released. Available online and
and French, with equivalent terms in 18 additional languages.
once a month by email.
Also known as the International Electrotechnical Vocabulary

(IEV) online.
IEC Customer Service Centre - webstore.iec.ch/csc

If you wish to give us your feedback on this publication or
need further assistance, please contact the Customer Service
.
IEC 62530
Edition 3.0 2021-07
IEEE Std 1800™
INTERNATIONAL
STANDARD
SystemVerilog – Unified Hardware Design, Specification, and Verification

Language
INTERNATIONAL
ELECTROTECHNICAL
COMMISSION
ICS 25.040.01; 35.060 ISBN 978-2-8322-9977-7

IEEE Std 1800 ™-2017
Contents
Part One: Design and Verification Constructs
1. Overview. 38
1.1 Scope. 38
1.2 Purpose. 38
1.3 Content summary. 38
1.4 Special terms. 39
1.5 Conventions used in this standard . 39
1.6 Syntactic description. 40
1.7 Use of color in this standard . 40
1.8 Contents of this standard. 41
1.9 Deprecated clauses. 44
1.10 Examples. 44
1.11 Prerequisites. 44
2. Normative references. 45
3. Design and verification building blocks . 47
3.1 General. 47
3.2 Design elements. 47
3.3 Modules . 47
3.4 Programs . 48
3.5 Interfaces. 49
3.6 Checkers. 50
3.7 Primitives . 50
3.8 Subroutines . 50
3.9 Packages. 50
3.10 Configurations . 51
3.11 Overview of hierarchy . 51
3.12 Compilation and elaboration. 52
3.13 Name spaces . 54
3.14 Simulation time units and precision. 55
4. Scheduling semantics. 59
4.1 General. 59
4.2 Execution of a hardware model and its verification environment . 59
4.3 Event simulation . 59
4.4 Stratified event scheduler. 60
4.5 SystemVerilog simulation reference algorithm . 65
4.6 Determinism. 65
4.7 Nondeterminism. 66
4.8 Race conditions. 66
This is a copyrighted Published by IEC under licence IEEE Standard. For personal from IEEE. © 2017 IEEE. or standards development All rights reserved.use only.
IEEE Std 1800 ™-2017
4.9 Scheduling implication of assignments . 66
4.10 PLI callback control points . 68
5. Lexical conventions . 69
5.1 General. 69
5.2 Lexical tokens . 69
5.3 White space. 69
5.4 Comments . 69
5.5 Operators. 69
5.6 Identifiers, keywords, and system names . 70
5.7 Numbers. 71
5.8 Time literals . 76
5.9 String literals. 76
5.10 Structure literals. 78
5.11 Array literals . 79
5.12 Attributes . 79
5.13 Built-in methods . 81
6. Data types . 83
6.1 General. 83
6.2 Data types and data objects. 83
6.3 Value set . 83
6.4 Singular and aggregate types . 84
6.5 Nets and variables. 85
6.6 Net types . 86
6.7 Net declarations . 97
6.8 Variable declarations . 100
6.9 Vector declarations . 102
6.10 Implicit declarations . 103
6.11 Integer data types . 104
6.12 Real, shortreal, and realtime data types . 105
6.13 Void data type. 105
6.14 Chandle data type. 105
6.15 Class. 106
6.16 String data type . 106
6.17 Event data type. 112
6.18 User-defined types . 112
6.19 Enumerations . 114
6.20 Constants. 119
6.21 Scope and lifetime . 126
6.22 Type compatibility. 128
6.23 Type operator. 131
6.24 Casting . 132
6.25 Parameter
...

  • Relates Information
  • ISO 8130-9:1992

    ISO 8130-9:1992 - Coating powders
    09-28
  • EN 352-2:2020/FprA1

    EN 352-2:2021/oprA1:2023
    09-28
  • IEC TS 61158-4:1999

    IEC TS 61158-4:1999 - Digital data communications for measurement and control - Fieldbus for use in industrial control systems - Part 4: Data Link protocol specification Released:3/24/1999 Isbn:2831847656
    09-28
  • HD 566 S1:1990

    HD 566 S1:1998
    09-28
  • ISO 5131:1982/Amd 1:1992

    ISO 5131:1982/Amd 1:1992
    09-28
  • EN 60598-2-22:1990

    EN 60598-2-22:1996
    09-27
  • ISO 8504-2:1992

    ISO 8504-2:1992 - Preparation of steel substrates before application of paints and related products -- Surface preparation methods
    09-27
  • EN 12165:2024

    prEN 12165:2022
    09-27
  • IEC TS 61158-6:1999

    IEC TS 61158-6:1999 - Digital data communications for measurement and control - Fieldbus for use in industrial control systems - Part 6: Application Layer protocol specification Released:3/24/1999 Isbn:2831847613
    09-27
  • ISO 4252:1992

    ISO 4252:1992 - Agricultural tractors -- Operator's workplace, access and exit -- Dimensions
    09-27