Kathryn Kranen

CriticalBlue Ltd. develops automated embedded system design solutions. The firm provides software analysis and optimization services to global blue chip semiconductor customers and OEMs in fast moving sectors such as smartphone, tablet, telecom and networking, and automotive vision systems. The company was founded by David Stewart, Ben Hounsel and Richard Taylor in 2002 and is headquartered in Edinburgh, the United Kingdom.

The Electronic Design Automation Consortium operates as an electronic system design association. The American company was founded by Rick Carlson.

Part of Cadence Design Systems, Inc., Verisity Design, Inc. provides software development services.

Quickturn Systems, Inc. develops software.

Jasper Design Automation, Inc. provides software solutions for semiconductor design, verification, and reuse, based on state-of-the-art formal technology. The company was founded by Joe Higgins and Vigyan Singhal in 1999 and is headquartered in Mountain View, CA.