Adriana Braz

Title: Adriana Braz: Innovator in Circuit Verification

Introduction

Adriana Braz is a prominent inventor based in Brasilia-DF, Brazil. She has made significant contributions to the field of circuit verification, particularly through her innovative patent. Her work focuses on enhancing the debugging process of designs under test (DUT) using formal verification methods.

Latest Patents

Adriana holds a patent titled "Method and system for bug finding by checking liveness properties of circuits with formal verification." This patent describes systems and methods for debugging a DUT by utilizing formal verification techniques. The method involves receiving the DUT from a user along with a command to find a counter-example of a liveness property. It also includes executing a verification algorithm based on the length of a loop provided by the user. The process concludes when a counter-example is found after traversing the stem and the loop. Adriana has 1 patent to her name.

Career Highlights

Adriana is currently employed at Cadence Design Systems, Inc., where she continues to develop her expertise in circuit verification. Her role involves collaborating with other professionals in the field to advance the technology and methodologies used in debugging and verification.

Collaborations

Some of Adriana's notable coworkers include Vince Reynolds and Ranan Fraer. Their collective efforts contribute to the innovative environment at Cadence Design Systems, Inc.

Conclusion

Adriana Braz is a trailblazer in the realm of circuit verification, with her patent showcasing her commitment to improving debugging processes. Her work not only reflects her expertise but also her dedication to advancing technology in the field.