Steven Craig Shirley

JEDA Technologies, Inc. provides ESL verification methodology and automation solutions. The firm products include JEDA Validation Tools Suite, JEDA OCP Validation Suit, JEDA TLM2 Validation Suite and JEDA AMBA Validation Suite. It provides automated validation solution for IP models and virtual platforms. The company was founded in December 2002 by Eugene Zhang, Atsushi Kasuya and Teshager Tesfaye and is headquartered in Los Altos, CA.

Part of NVIDIA Corp., Oski Technology, Inc. is a company that provides end-to-end formal design verification services. The company is based in San Jose, CA. The company was founded in 2005 by Vigyan Singhal. Steven Craig Shirley has been the CEO of the company since 2018. Oski Technology was acquired by NVIDIA Corp. on October 08, 2021.

Apache Design Solutions, Inc. provides power analysis and optimization software solutions. Its solutions include software tools and methodologies that enable design engineers to reduce power consumption, ensure delivery of power to ICs and electronic system components, and mitigate power-induced signal interference. The company was founded by Andrew T. Yang, Norman Chang and Shen Lin in January 2001 and it is headquartered in San Jose, CA.

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.

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

Intergraph Corp. provided enterprise software solutions. The firm operated through two divisions: Process, Power & Marine (PP&M) and Security, Government & Infrastructure (SG&I). It provided enterprise engineering software for the design, construction, and operation of plants, ships, and offshore facilities. The company also provided geospatially powered solutions to the defense and intelligence, public safety and security, government, transportation, photogrammetric, utilities and communications industries. Intergraph was founded in 1969 and headquartered in Madison, AL.