WinterLogic is a software product and services company that specializes in identifying test deficiencies for deep sub-micron chips. We have special expertise in high-speed fault simulators and fault management environments for Verilog circuits. Our unique technologies dramatically improve performance of fault simulation. Our proprietary Expert Test System uses "testability analysis" to provide optimum test ordering, eliminate redundant tests and report on uncovered areas of the design before fault simulation begins. We offer the industry's only distributed simulation capability for fault simulation. Designs can be partitioned across multiple processors, thus scaling both capacity and performance. Our Z01X Fault Simulator is by far the fastest and highest capacity fault simulator available. The primary use model of Z01X is to supplement ATPG coverage with functional vectors to improve overall test coverage.