Sabyasachi Nag

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.

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.

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 Cadence Design Systems, Inc., Verisity Design, Inc. provides software development services.