Scope: The IEEE DASC is responsible for the standardization of Design Automation and related Semiconductor-related Intellectual Property (IP) standards in the IEEE. The DASC is focused on language based design, modeling, integration and verification standards. This includes standards for timing, synthesis, algorithms, low power, IP reuse, IP encryption, and test.