Julia Pinheiro De Oliveira

Title: Julia Pinheiro De Oliveira: Patent Work in Formal Verification

Introduction

Julia Pinheiro De Oliveira is an inventor associated with Belo Horizonte, Brazil, and Cadence Design Systems, Inc. Her patent work concerns formal verification tools and hardware prototyping for integrated circuit design.

Latest Patents

The provided information lists one patent associated with De Oliveira: “Formal Verification with EDA Application and Hardware Prototyping Platform.” The invention describes an electronic design automation (EDA) application that receives an integrated circuit design, including its properties and constraints, and generates an array of files in conjunctive normal form (CNF). Each file represents a selected property as a Boolean expression and includes data about initial states and circuit constraints. The application can send these files to a hardware prototyping platform, where a hardware-instantiated SAT solver evaluates the Boolean expressions.

Career Highlights

De Oliveira’s listed patent reflects work at the intersection of formal verification, electronic design automation, and hardware prototyping. The approach connects software-generated verification inputs with hardware-based SAT solving to analyze properties of integrated circuit designs. The supplied information associates her with 1 patent.

Collaborations

The provided information names Lucas Martins Chaves and Tulio Paschoalin Leao as coworkers. It does not specify their roles in the patent or describe particular collaborations.

Conclusion

Julia Pinheiro De Oliveira’s listed invention focuses on using EDA-generated CNF files and hardware-based SAT solving to support formal verification of integrated circuit designs.