IEEE Design Automation Standards Committee (DASC)

The IEEE Standards Association has several subgroups. One of these standardization subgroups is the DASC or the Design Automation Standards Committee. This group of interested individuals members of the IEEE Standards Association oversee IEEE Standards that are within its scope, i.e., Design Automation related standards. It is part of the IEEE Computer Society.

The biggest center of interest in the DASC has been around language based design and verification standards stemming from the key HDL standards VHDL and Verilog. From these have flowed standards for timing, synthesis, math routines, test, power, encryption, and meta-data for the topics above.

The emphasis of the group has also grown to embrace standards being developed in analog-mixed signal and other extensions driven by these needs.

More details can be found at: http://www.dasc.org/

Standards sponsored by the DASC include:
*IEEE P1076 Standard VHDL Language Reference Manual (VASG) [http://www.eda.org/vasg/]
**VHDL-200x [http://www.eda.org/vhdl-200x/] : the next revision
**Issues Screening and Analysis Committee (ISAC) [http://www.eda.org/isac/]
**VHDL Programming Language Interface Task Force (VHPI) [http://www.eda.org/vhdlpli/]
*P1076.1 Standard VHDL Analog and Mixed-Signal Extensions (VHDL-AMS)
*P1076.1.1 Standard VHDL Analog and Mixed-Signal Extensions - Packages for Multiple Energy Domain Support (StdPkgs)
*P1076.4 Standard VITAL ASIC (Application Specific Integrated Circuit) Modeling Specification (VITAL)
*P1076.6 Standard for VHDL Register Transfer Level (RTL) Synthesis (SIWG)
*P1364.1 Standard for Verilog Register Transfer Level Synthesis (VLOG-Synth)
*P1481 Standard for Integrated Circuit (IC) Open Library Architecture (OLA) (IEEE1481R)
*P1499 Standard Interface for Hardware Description Models of Electronic Components (OMF)
*P1603 Standard for an Advanced Library Format (ALF) Describing Integrated Circuit (IC) Technology, Cells, and Blocks (ALF)
*P1647 Standard for the Functional Verification Language 'e' (eWG)
*P1666 Standard System C Language Reference Manual (systemc) [cosponsored with IEEE-SA CAG]
*P1685 SPIRIT XML Standard for IP Description (IEEE-1685)
*P1735 (Study Group)
*SystemVerilog Working Group
**P1800 SystemVerilog: Unified Hardware Design, Specification and Verification Language (SV-IEEE1800) [cosponsored with IEEE-SA CAG]
**P1364 Standard for Verilog Hardware Description Language (IEEEVerilog)
*IEEE P1801 Standard for the Design and Verification of Low Power Integrated Circuits
*P1850 Standard for PSL: Property Specification Language (IEEE-1850) [cosponsored with IEEE-SA CAG]