Verisity
Verisity was a startup company which developed software products for electronic design automation (EDA) verification, specifically of electronic systems and complex integrated circuits.
The company was Founded in 1995 by Yoav Hollander as "InSpec", and was later renamed to "Verisity" the headquarters of the company was in Mountainview, California
In the early 1990s microprocessors started becoming more complex, and standard validation and verification methods weren't sufficient. The cost of a bug in chip-design tape-out was huge, and better methods were needed.
For that purpose, the company developed a new domain-specific language named "e" (unrelated to the "E" language) that allows writing abstract tests using constrained randomized values, in order to create a large number of variants to any test. additionally, SPECMAN allowed the user to define coverage metrics and measure what was covered by the different tests
In 1998 Ziv Binyamini was appointed as Verisity's VP of R&D.
In 2005 Verisity was acquired by Cadence Design Systems at a valuation of $280M
References
- ↑ "Verisity". Finder. Retrieved 2026-10-16.
- ↑ "Verisity Ltd". Semiconductor Engineering. Retrieved 2026-10-16.
- ↑ Bentley, B. (July 2001). Validating the Intel/Sup (R)/ Pentium/Sup (R)/ 4 microprocessor. pp. 493–498. Bibcode:2001dsn..conf...50B. doi:10.1109/DSN.2001.941434. ISBN 0-7695-1101-5.
{{cite book}}:|journal=ignored (help) - ↑ EETimes (2003-05-29). "Understanding the "e" verification language". EE Times. Retrieved 2026-10-23.
- ↑ EDN (1999-04-30). "Verisity Appoints New VP of Marketing and VP of R&D". EDN. Retrieved 2026-10-16.
- ↑ "Verisity sold at $280m value - Globes". en.globes.co.il. 2005-01-13. Retrieved 2026-10-16.
- ↑ "A Brief and Personal History of EDA, Part 5: The Acquisition Era". EEJournal. 2024-04-22. Retrieved 2026-10-16.
- ↑ "Verisity Ltd". Semiconductor Engineering. Retrieved 2026-10-16.
 | This software company article is a stub. You can help Wikipedia by adding missing information. |