<?xml version='1.0' encoding='utf-8'?>
<package xmlns="http://www.idpf.org/2007/opf" unique-identifier="uuid_id" version="2.0">
    <metadata xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:opf="http://www.idpf.org/2007/opf">
        <dc:identifier opf:scheme="calibre" id="calibre_id">10010</dc:identifier>
        <dc:identifier opf:scheme="uuid" id="uuid_id">5f9cf921-424a-4586-a8eb-ec462992c98d</dc:identifier>
        <dc:title>IEEE Std 1800™-2023 IEEE Standard for SystemVerilog—Unified Hardware Design, Specification, and Verification Language</dc:title>
        <dc:creator opf:file-as="Design Automation Standards Committee of the IEEE Computer Society" opf:role="aut">Design Automation Standards Committee of the IEEE Computer Society</dc:creator>
        <dc:contributor opf:file-as="calibre" opf:role="bkp">calibre (9.6.0) [https://calibre-ebook.com]</dc:contributor>
        <dc:date>2024-02-21T10:28:43+00:00</dc:date>
        <dc:description>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 testbenches using coverage, assertions, object-oriented programming, and constrained random verification. The standard also provides application programming interfaces (APIs) to foreign programming languages.</dc:description>
        <dc:language>en</dc:language>
        <dc:subject>assertions</dc:subject>
        <dc:subject>design automation</dc:subject>
        <dc:subject>design verification</dc:subject>
        <dc:subject>hardware description language</dc:subject>
        <dc:subject>HDL</dc:subject>
        <dc:subject>HDVL</dc:subject>
        <dc:subject>IEEE Std 1800™</dc:subject>
        <dc:subject>PLI</dc:subject>
        <dc:subject>programming language interface</dc:subject>
        <dc:subject>SystemVerilog</dc:subject>
        <dc:subject>Verilog®</dc:subject>
        <dc:subject>VPI</dc:subject>
        <meta name="calibre:timestamp" content="2026-05-09T17:31:54+00:00"/>
        <meta name="calibre:title_sort" content="IEEE Std 1800™-2023 IEEE Standard for SystemVerilog—Unified Hardware Design, Specification, and Verification Language"/>
        <meta name="calibre:user_metadata:#genre" content="{&quot;table&quot;: &quot;custom_column_1&quot;, &quot;column&quot;: &quot;value&quot;, &quot;datatype&quot;: &quot;text&quot;, &quot;is_multiple&quot;: &quot;|&quot;, &quot;kind&quot;: &quot;field&quot;, &quot;name&quot;: &quot;Genre&quot;, &quot;search_terms&quot;: [&quot;#genre&quot;], &quot;label&quot;: &quot;genre&quot;, &quot;colnum&quot;: 1, &quot;display&quot;: {&quot;is_names&quot;: false, &quot;description&quot;: &quot;&quot;, &quot;web_search_template&quot;: &quot;&quot;}, &quot;is_custom&quot;: true, &quot;is_category&quot;: true, &quot;link_column&quot;: &quot;value&quot;, &quot;category_sort&quot;: &quot;value&quot;, &quot;is_csp&quot;: false, &quot;is_editable&quot;: true, &quot;rec_index&quot;: 23, &quot;#value#&quot;: [&quot;Specs&quot;], &quot;#extra#&quot;: null, &quot;is_multiple2&quot;: {&quot;cache_to_list&quot;: &quot;|&quot;, &quot;ui_to_list&quot;: &quot;,&quot;, &quot;list_to_ui&quot;: &quot;, &quot;}}"/>
    </metadata>
    <guide>
        <reference type="cover" title="Cover" href="IEEE Std 1800™-2023 IEEE Standard for SystemVerilog—Unified Hardware Design, Specification, and Verification Language - Design Automation Standards Committee of the IEEE Computer Society.jpg"/>
    </guide>
</package>
