IEEE 1666-2011: Standard for Standard SystemC Language Reference Manual
This standard defines SystemC(R) with Transaction Level Modeling (TLM) as an ISO standard C++ class library for system and hardware design.
IEEE 1666.1-2016 - IEEE Standard for Standard SystemC® Analog/Mixed-Signal Extensions Language Reference Manual
This standard defines the Analog/Mixed-Signal extensions for SystemC, as an ANSI standard C++ class library based on SystemC for system and hardware design including analog/mixed-signal elements.
IEEE 1685-2014 - IEEE Standard for IP-XACT, Standard Structure for Packaging, Integrating, and Reusing IP within Tool Flows
Conformance checks for eXtensible Markup Language (XML) data designed to describe electronic systems are formulated by this standard. The meta-data forms that are standardized include components, systems, bus interfaces and connections, abstractions of those buses, and details of the components including address maps, register and field descriptions, and file set descriptions for use in automating design, verification, documentation, and use flows for electronic systems.
IEEE 1735-2014 - IEEE Recommended Practice for Encryption and Management of Electronic Design Intellectual Property (IP)
This standard specifies embeddable and encapsulating markup syntaxes for design intellectual property encryption and rights management, together with recommendations for integration with design specification formats described in IEEE 1800 (SystemVerilog) and IEEE 1076 (VHDL).
IEEE 1800-2017 - IEEE Standard for SystemVerilog--Unified Hardware Design, Specification, and Verification Language
This standard provides the definition of the language syntax and semantics for the IEEE 1800™-2017 Standard for SystemVerilog--Unified Hardware Design, Specification, and Verification Language, which is a unified hardware design, specification, and verification language.
IEEE 1800.2-2017 - IEEE Standard for Universal Verification Methodology Language Reference Manual
This standard establishes the Universal Verification Methodology (UVM), a set of Application Programming Interfaces (APIs) that define a base class library (BCL) definition used to develop modular, scalable, and reusable components for functional verification environments. The APIs and BCL are based on the IEEE 1800 SystemVerilog standard.
IEEE 1800.2-2020 - IEEE Standard for Universal Verification Methodology Language Reference Manual
This standard establishes the Universal Verification Methodology (UVM), a set of application programming interfaces (APIs) that defines a base class library (BCL) definition used to develop modular, scalable, and reusable components for functional verification environments. The APIs and BCL are based on the IEEE standard for SystemVerilog, IEEE Std 1800™.
IEEE 1801-2018 - IEEE Standard for Design and Verification of Low-Power, Energy-Aware Electronic Systems
This standard defines the syntax and semantics of a format used to express power intent in energy aware electronic system design. Power intent includes the concepts and information required for specification and validation, implementation and verification, and modelling and analysis of power managed electronic systems.
IEEE 1934-2018 - IEEE Standard for Adoption of OpenFog Reference Architecture for Fog Computing
OpenFog Consortium--OpenFog Reference Architecture for Fog Computing is adopted by this standard. OpenFog Reference Architecture [OPFRA001.020817] is a structural and functional prescription of an open, interoperable, horizontal system architecture for distributing computing, storage, control and networking functions closer to the users along a cloud-to-thing continuum of communicating, computing, sensing and actuating entities.
IEEE 2050-2018: IEEE Standard for a Real-Time Operating System (RTOS) for Small-Scale Embedded Systems
A real-time operating system (RTOS) called μT-Kernel for small-scale embedded systems such as systems with a single chip microcomputer including 16-bit CPUs, systems with a small amount of ROM/RAM, and systems without a memory management unit (MMU) are specified in this standard.
P2963: Data Formats for Smart Legal Contracts
Standard establishes common requirements for the development of computable contract templates.