Guy Wolfovitz

Title: Guy Wolfovitz: Patent Innovation in Mutation Coverage Testing.

Introduction

Guy Wolfovitz is an inventor associated with Haifa, Israel, and Cadence Design Systems, Inc. His patent work addresses methods for testing digital designs through incremental satisfiability queries.

Latest Patents

Wolfovitz is credited with 1 patent: “Method and Apparatus for Mutation Coverage Testing with Incremental SAT Queries.” The disclosed solution incrementally evaluates mutation coverage across test cycles. It identifies signals and assertions that have not yet been covered, selects a value for a signal in the current cycle, and checks whether the signal or assertion is covered. Based on those results, the system updates its lists and selects a signal for the next cycle. This approach is designed to support efficient coverage testing of a circuit.

Career Highlights

Wolfovitz’s patent reflects work in hardware verification and automated testing. The method focuses on tracking coverage across successive test cycles rather than treating each cycle as an isolated evaluation.

Collaborations

Wolfovitz is associated with Cadence Design Systems, Inc. His listed coworker is Ramanuj Chouksey.

Conclusion

Guy Wolfovitz’s patent describes an incremental approach to mutation coverage testing that updates coverage information across test cycles, connecting his work with circuit verification at Cadence Design Systems, Inc.