Company Filing History:
Years Active: 2019-2020
Title: Regina Mara Amaral Fonseca: Innovator in Electronic Design
Introduction
Regina Mara Amaral Fonseca is a prominent inventor based in Belo Horizonte, Brazil. She has made significant contributions to the field of electronic design, holding two patents that showcase her innovative approach to technology.
Latest Patents
Her latest patents include "Systems and methods for automatic formal metastability fault analysis in an electronic design." This patent describes a computer-implemented method that involves receiving an electronic design and analyzing it to generate preconditions representative of metastability effects. The method also includes generating properties to analyze the propagation of these effects. Another notable patent is "System, method, and computer program product for property clustering associated with formal verification of an electronic circuit design." This invention focuses on debugging methods related to formal verification, including identifying counter-examples and generating trace cores for analysis.
Career Highlights
Regina currently works at Cadence Design Systems, Inc., where she applies her expertise in electronic design. Her work has been instrumental in advancing the capabilities of electronic systems and ensuring their reliability.
Collaborations
She collaborates with talented individuals such as Ronalu Augusta Nunes Barcelos and Hudson Dyele Pinheiro De Oliveira, contributing to a dynamic work environment that fosters innovation.
Conclusion
Regina Mara Amaral Fonseca is a trailblazer in the field of electronic design, with her patents reflecting her commitment to advancing technology. Her contributions continue to influence the industry and inspire future innovations.