Company Filing History:
Years Active: 2020
Title: Innovations by Luis Humberto Rezende Barbosa
Introduction
Luis Humberto Rezende Barbosa is a notable inventor based in Belo Horizonte, Brazil. He has made significant contributions to the field of electronic circuit design through his innovative patent. His work focuses on enhancing the formal verification processes of electronic circuits, which is crucial for ensuring their reliability and functionality.
Latest Patents
Luis holds a patent titled "System, method, and computer program product for over-constraint/deadcode detection in a formal verification." This patent describes a method that involves receiving a portion of an electronic circuit design and analyzing its syntactic structure. The process includes generating a parse tree based on the analysis and traversing it to identify conditional nodes. Furthermore, the invention allows for the generation of new nodes for these conditional nodes, which can be displayed on a graphical user interface prior to performing register-transfer-level synthesis or final synthesis.
Career Highlights
Luis is currently employed at Cadence Design Systems, Inc., a leading company in electronic design automation. His role involves leveraging his expertise in formal verification to improve the design and functionality of electronic circuits. His innovative approach has positioned him as a valuable asset within the company.
Collaborations
Throughout his career, Luis has collaborated with talented individuals such as Raquel Lara Dos Santos Pereira and Caio Alves Furtado. These collaborations have fostered a creative environment that encourages the development of cutting-edge technologies