In the 1990s, an engineering group from ZYCAD, who provided a hardware accelerator for fault simulation, began work on a software version of their compiler. Soon they created a spinoff company called Provis to commercialize the new technology, and ZOIX was commercially launched by Provis in 2000. By 2005 Provis was running out of venture capital money. Three of its employees acquired the company’s assets in an employee buyout and founded WinterLogic.
ZOIX, is a concurrent (typically 2000 faults at a time), functional fault simulator that analyzes a test suite’s ability to detect manufacturing defects and design errors. The tool supports multi-CPUs.
Synopsys acquired WinterLogic in 2016.
