Synopsys, Inc.

Ashok Kumar Bhatt

Eduard Rudolf Cerny

Dmitry Korchemny

Hanish Singla

Synthesis of functional coverage (e.g., covergroups) is optimized for hardware emulation. The optimization may reduce the number of logic gates used to implement the hardware emulator circuits or reduce the computer resources used to synthesize the hardware emulator circuits. The optimization may also prevent the synthesis of unnecessary circuits. In another aspect, the optimization may result in a representation that may be used both to synthesize hardware emulation circuits and as part of formal verification. This may result in a model that can be used for formal verification, hardware emulation, and software simulation.

Growing community of inventors

Uttar Pradesh, India

Ashok Kumar Bhatt