Knowledge Center

Knowledge Center ➜ Entity
WinterLogic, Inc.
Distributed fault simulation software

Advertise Here
Advertise your products or services directly

Advertise Here
Advertise your products or services directly



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.


  • WinterLogic, Inc. acquired Provis Corporation in 2005
    • Three employees of Provis bought the company's assets and launched WinterLogic with the technology.

Acquired by:


We want to hear from you. If you have any comments or suggestions about this page, please send us your feedback.