Replaced by 62531(E):2007. The IEEE Property Specification Language (PSL) is defined in this standard. PSL is a formal notation for specification of electronic system behavior, compatible with multiple electronic system…
SystemC(R) is defined in this standard. SystemC(R) is an ANSI standard C++ class library for system and hardware design for use by designers and architects who need to address complex…
This standard represents a merger of two previous standards: IEEE 1364-2005 Verilog hardware description language (HDL) and IEEE 1800-2005 SystemVerilog unified hardware design, specification and verification language. The 2005 SystemVerilog…
The problems of system grounding, that is, connection to ground of neutral, of the corner of the delta, or of the midtap of one phase, are covered. The advantages and…
The e functional verification language is an application-specific programming language, aimed at automating the task of verifying an electronic design with respect to its specification. Verification environments written in e…
Supplemental Information for a high-speed serial bus that integrates well with most IEEE standard 32-bit and 64-bit parallel buses is specified. It is intended to extend the usefulness of a…
This document specifies a standard for use of very high-speed integrated circuit hardware description language (VHDL) to model synthesizable register-transfer level digital logic. A standard syntax and semantics for VHDL…
The objective of this book is to present the fundamentals of reliability analysis applied to the planning and design of industrial and commercial electric power distribution systems. The intended audience…
Recommendations regarding oil tests and evaluation procedures are made in this guide; references are made to methods of reconditioning and reclaiming conventional petroleum (mineral) dielectric insulating oils; the levels at…
