Aldec, Inc. is an industry-leading EDA verification company that offers a suite of EDA verification products, offering the latest technological solutions including: design entry and creation software, software simulators, management software, linting software, prototyping, hardware accelerators, hardware emulators, co-verification solutions, IP Cores and engineering specialty solutions, for engineering design teams worldwide.
[break] Intusoft, a leading provider of analog and mixed-signal solution adds the industry’s only full test and fault synthesis for analog and mixed-signal design that includes automated fault tree and isolation strategies producing detailed test coverage reports. Applicable for all types of system, IC, and board-level design.




QNX® offers Operating systems, development tools, and professional services for connected embedded systems running on ARM, MIPS, PowerPC, SH and x86 platforms, and a host of boards implemented in virtually every type of embedded environment. The QNX® Neutrino® RTOS is the first real-time operating system that provides a dual-certification credential to satisfy functional safety and OS security requirements simultaneously. QNX® is the world’s first full-featured RTOS certified to Common Criteria ISO/IEC 15408 Evaluation Assurance Level (EAL) 4+. It is also certified to IEC 61508 Safety Integrity Level 3, or SIL 3, and offers a very high level of reliability and risk reduction when used in safety-critical systems.