Andrei Dos Santos Silva

Title: Andrei Dos Santos Silva: Advancing Formal Verification and Hardware Prototyping

Introduction

Andrei Dos Santos Silva is an inventor based in Belo Horizonte, Brazil, whose work focuses on electronic design automation and hardware verification. He is associated with Cadence Design Systems, Inc., and has one patent listed in the provided information.

Latest Patents

His patent, “Formal Verification with EDA Application and Hardware Prototyping Platform,” describes a system for verifying integrated-circuit designs. A formal verification EDA application receives a circuit design containing properties and constraints, then generates an array of conjunctive normal form (CNF) files. 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. This approach connects formal verification software with hardware-based prototyping to support the analysis of IC designs.

Career Highlights

Silva’s listed patent reflects work at the intersection of formal methods, EDA software, and hardware prototyping. His professional association with Cadence Design Systems places this work within the broader field of tools used to design and verify electronic systems. The provided information lists 1 patent.

Collaborations

The listed coworkers associated with Silva are Tulio Paschoalin Leao and Arthur Ribeiro Araujo. Their names provide context for his professional network, though the available information does not specify particular joint projects.

Conclusion

Andrei Dos Santos Silva’s patent describes a method for combining EDA-based formal verification with hardware prototyping, highlighting his contribution to the development and verification of integrated-circuit designs.