Petros Daniel Fernandes De Medeiros Félix

Title: Petros Daniel Fernandes De Medeiros Félix: Innovator in Formal Verification

Introduction

Petros Daniel Fernandes De Medeiros Félix is a notable inventor based in Belo Horizonte, Brazil. He has made significant contributions to the field of electronic design automation (EDA) through his innovative patent. His work focuses on formal verification processes that enhance the reliability of integrated circuit (IC) designs.

Latest Patents

Petros holds a patent titled "Formal verification with EDA application and hardware prototyping platform." This patent describes a formal verification EDA application that can be configured to receive a circuit design of an IC chip. The circuit design comprises a set of properties and constraints for the IC chip. The formal verification EDA application generates an array of CNF files based on the circuit design. Each CNF file includes a Boolean expression that characterizes a selected property and data fields that characterize initial states for literals in the Boolean expression. The application can also output the array of CNF files to a hardware prototyping platform, which executes a hardware instantiated SAT solver for the Boolean expression in each CNF file.

Career Highlights

Petros is currently employed at Cadence Design Systems, Inc., a leading company in electronic design automation. His work at Cadence has allowed him to apply his expertise in formal verification and contribute to advancements in IC design.

Collaborations

Throughout his career, Petros has collaborated with talented individuals such as Tulio Paschoalin Leao and Julia Pinheiro De Oliveira. These collaborations have fostered a creative environment that encourages innovation and the development of cutting-edge technologies.

Conclusion

Petros Daniel Fernandes De Medeiros Félix is a distinguished inventor whose work in formal verification has the potential to significantly impact the field of electronic design automation. His contributions continue to pave the way for advancements in integrated circuit design and verification processes.