JEDA Technologies, Inc. is a provider of software products in the front-end of electronic design automation

Electronic design automation

Electronic design automation is a category of software tools for designing electronic systems such as printed circuit boards and integrated circuits...

 industry, specifically in ESL (electronic system level

Electronic system level

Electronic system level design and verification is an emerging electronic design methodology that focuses on the higher abstraction level concerns first and foremost. The term Electronic System Level or ESL Design was first defined by Gartner Dataquest, a EDA-industry-analysis firm, on February...

) verification automation. JEDA products are applied to design models written in C, C++, SystemC

SystemC

SystemC is a set of C++ classes and macros which provide an event-driven simulation kernel in C++ . These facilities enable a designer to simulate concurrent processes, each described using plain C++ syntax...

 for quality measurement, checking and improvement. The company is headquartered in Santa Clara, California

Santa Clara, California

Santa Clara , founded in 1777 and incorporated in 1852, is a city in Santa Clara County, in the U.S. state of California. The city is the site of the eighth of 21 California missions, Mission Santa Clara de Asís, and was named after the mission. The Mission and Mission Gardens are located on the...

 with R&D offices in China.

History

The company was founded in 2002.

The founders of the company were creators and inventors of Vera Hardware Verification Language

Hardware verification language

A Hardware Verification Language, or HVL, is a programming language used to verify the designs of electronic circuits written in a hardware description language. HVLs typically include features of a high-level programming language like C++ or Java as well as features for easy bit-level...