Breno Rodrigues Guimares

Title: Breno Rodrigues Guimares and His Patent in Electronic Design Verification.

Introduction

Breno Rodrigues Guimares is an inventor associated with Belo Horizonte, Brazil, and Cadence Design Systems, Inc. His patent work concerns formal verification techniques for electronic designs.

Latest Patents

The supplied information lists one patent for Guimares: “Methods, Systems, and Computer Program Product for Verifying an Electronic Design.” The invention describes identifying a target property in a hierarchical electronic design and performing hierarchical synthesis on a selected hierarchy or portion while treating the remaining design as a black box. It then determines cone-of-influence data relevant to the target property and forwards that data to a formal engine, which uses it to verify the property. Guimares is credited with 1 patent.

Career Highlights

Guimares’s listed patent reflects work on formal verification, hierarchical synthesis, and electronic design automation. The supplied information associates him with Cadence Design Systems, Inc., a company that develops tools and technologies for designing electronic systems.

Collaborations

The supplied information names Raquel Lara Dos Santos Pereira and Laiz Lipiainen Santos as Guimares’s coworkers. Their shared professional association provides context for his work, though no specific joint patent or project is identified in the information provided.

Conclusion

Breno Rodrigues Guimares’s listed invention addresses a structured approach to verifying properties in complex hierarchical electronic designs, using cone-of-influence data to support formal analysis.