Company Filing History:

9 out of 2,542

Cadence Design Systems, Inc.

patents

1 out of 34

Jasper Design Automation, Inc.

patents

Years Active: 2013-2020

Loading Chart...

10 patents (USPTO):Sort by Forward CitationsExplore Patents

1. 10796051 - Adaptive model interface for a plurality of EDA programs (2020-10-06),

2. 10769008 - Systems and methods for automatic formal metastability fault analysis in an electronic design (2020-09-08),

3. 10540467 - System, method, and computer program product for handling combinational loops associated with the formal verification of an electronic circuit design (2020-01-21),

4. 10204201 - Methods, systems, and articles of manufacture for verifying an electronic design using hierarchical clock domain crossing verification techniques (2019-02-12),

5. 10162917 - Method and system for implementing selective transformation for low power verification (2018-12-25),

6. 10078714 - Data propagation analysis for debugging a circuit design (2018-09-18),

7. 9817930 - Method, system, and computer program product for verifying an electronic circuit design with a graph-based proof flow (2017-11-14),

8. 9665682 - Methods, systems, and articles of manufacture for enhancing formal verification with counter acceleration for electronic designs (2017-05-30),

9. 9633151 - Methods, systems, and computer program product for verifying electronic designs with clock domain crossing paths (2017-04-25),

10. 8572527 - Generating properties for circuit designs (2013-10-29),

Title: The Innovative Mind of Fabiano Cruz Peixoto

Introduction: Fabiano Cruz Peixoto is a prominent inventor based in Belo Horizonte, Brazil. With a remarkable portfolio of ten patents, he has made significant contributions to the field of electronic design automation (EDA). His innovative approaches to problem-solving have garnered recognition within the industry.

Latest Patents: Among his latest patents, Peixoto developed an "Adaptive Model Interface for a Plurality of EDA Programs." This invention features a model impact monitor that interacts with multiple EDA programs, ensuring efficient management of register-transfer level (RTL) designs. The adaptive model interface tracks modifications to RTL operations and evaluates performance changes across various EDA programs based on these adjustments.

Another noteworthy invention is "Systems and Methods for Automatic Formal Metastability Fault Analysis in an Electronic Design." This patent outlines a computer-implemented method that analyzes electronic designs to generate preconditions related to metastability effects, ultimately enhancing the understanding and management of synchronizer output behaviors.

Career Highlights: Throughout his career, Fabiano has worked for leading companies in the EDA industry, including Cadence Design Systems and Jasper Design Automation. His roles at these organizations have allowed him to push the boundaries of technology and contribute to groundbreaking advancements in electronic design.

Collaborations: Peixoto has collaborated with notable professionals in the field, including Andrea Iabrudi Tavares and Xiaoyang Sun. These partnerships have enriched his work, leading to innovative solutions and new directions in EDA technology.

Conclusion: Fabiano Cruz Peixoto's contributions to electronic design automation have established him as a vital figure in the innovation landscape. His ten patents not only showcase his inventive spirit but also signify the impact of his work on the future of EDA. As he continues to develop new solutions, the industry eagerly anticipates the advancements that will emerge from his innovative mind.

This text is generated by artificial intelligence and may not be accurate.

Please report any incorrect information to support@idiyas.com