Location History:
- Nova Lima/Minas Gerais, BR (2016)
- Menlo Park, CA (US) (2017 - 2018)
Company Filing History:
3 out of 2,546 
1 out of 34 
Years Active: 2016-2018
Title: **Claudionor Jose Nunes Coelho: A Pioneer in Security Data Verification**
Introduction
Claudionor Jose Nunes Coelho is an influential inventor based in Menlo Park, California, recognized for his contributions to circuit design and verification technologies. With four patents to his name, Coelho’s work focuses on ensuring the integrity and security of data pathways within circuit designs. His innovations demonstrate a commitment to advancing the field of electronic design automation.
Latest Patents
One of his latest patents is centered around a Security Data Path Verification system. This formal verification approach meticulously examines data access and propagation paths within a circuit design. It aims to prove the unreachability of path cover properties within the circuit, thereby ensuring that tainted data does not corrupt other components of the circuit. The system works by receiving the original circuit model alongside critical parameters that denote specific locations related to tainted data. Additionally, the verification process can exclude selected portions of the circuit from the analysis, allowing for a more focused and efficient evaluation.
Career Highlights
Throughout his career, Claudionor has been affiliated with notable companies in the field, including Cadence Design Systems and Jasper Design Automation. These positions have allowed him to apply and expand his expertise in circuit design, substantially impacting the industry’s approach to data security.
Collaborations
Coelho has collaborated with esteemed colleagues such as Victor Markus Purri and Caio Araújo Teixeira Campos. Their collective efforts have fostered advancements in electronic design and verification, contributing to the protection and integrity of circuit designs.
Conclusion
Claudionor Jose Nunes Coelho stands out as a prominent inventor dedicated to enhancing security in circuit designs. His innovative patents not only contribute to the technological landscape but also exemplify the critical role of ensuring data integrity in electronic systems. As the field continues to evolve, Coelho’s work will undoubtedly influence future developments in circuit security measures.