The SystemC Analog/Mixed-Signal (AMS) extensions are defined in this standard. SystemC AMS is an ANSI standard C++ class library for electronic system-level design and modeling for use by system architects and engineers who need to address complex heterogeneous systems that are a hybrid between anal...

This standard presents a new specification language, named Fuzzy Markup Language(FML), exploiting the benefits offered by eXtensible Markup Language (XML) specifications and related tools in order to model a fuzzy logic system in a human-readable and hardware independent way. Therefore, it provides ...

This Technical Corrigendum addresses problems discovered since the approval of IEEE Std 1003.1-2008 and IEEE Std 1003.1-2008/Cor 1-2013.

The e functional verification language is an application-specific programming language, aimed atautomating the task of verifying a hardware or software design with respect to its specification. Verification environments written in e provide a model of the environment in which the design is expected ...

This standard defines five types of software reviews and audits, together with procedures required for the execution of each type. This standard is concerned only with the reviews and audits; it does not define procedures for determining the necessity of a review or audit, nor does it specify the di...