Location History:
- Nova Lima, BR (2022)
- Belo Horizonte, BR (2022)
Company Filing History:
Years Active: 2022
Title: Innovations of Paula Selegato Mathias
Introduction
Paula Selegato Mathias is a notable inventor based in Nova Lima, Brazil. She has made significant contributions to the field of electronic design automation. With a total of two patents to her name, her work focuses on enhancing verification processes and command interpretation in electronic design environments.
Latest Patents
One of her latest patents is titled "Method and system for assertion-based formal verification using unique signature values." This method involves executing multiple formal verification regression runs on a model of an electronic design. It utilizes a unique signature function to calculate and save a unique signature value for each property instantiation of the model. The patent also details the process of signing off the current version of the model and presenting the preferred status results for each property instantiation.
Another significant patent is "Systems and methods for command interpretation in an electronic design automation environment." This patent describes a computer-implemented method that includes receiving user input corresponding to a command in an electronic design automation environment. It further involves comparing the user input with a portion of an electronic design database and providing a final command suggestion based on that comparison.
Career Highlights
Paula is currently employed at Cadence Design Systems, Inc., where she continues to innovate in the field of electronic design automation. Her work has been instrumental in improving the efficiency and accuracy of electronic design processes.
Collaborations
Throughout her career, Paula has collaborated with talented individuals such as Tulio Paschoalin Leao and Gabriel Guedes De Azevedo Barbosa. These collaborations have contributed to her success and the advancement of her projects.
Conclusion
Paula Selegato Mathias is a pioneering inventor whose work in electronic design automation has led to significant advancements in the field. Her patents reflect her commitment to innovation and her impact on the industry.