Mohammad Homayoun Movahed-Ezazi

Title: Innovations of Mohammad Homayoun Movahed-Ezazi

Introduction

Mohammad Homayoun Movahed-Ezazi is a prominent inventor based in Saratoga, CA, known for his significant contributions to the field of clock network analysis and verification. With a total of 15 patents to his name, he has made remarkable advancements in the technology sector.

Latest Patents

Among his latest patents is the "Formal clock network analysis, visualization, verification and generation." This invention utilizes formal verification techniques to extract valid clock modes from a hardware description of the clock network. The clock network includes primary clocks and configuration signals as inputs, along with derived clocks that are configurable for different clock modes based on the values of the configuration signals. A parametric liveness property checking is applied to these derived clocks, allowing for the inference of valid clock modes.

Another notable patent is the "System and method for netlist clock domain crossing verification." This system leverages RTL clock domain crossing (CDC) verification data and results. The netlist clock domain crossing verification system (NCDC) migrates RTL-level constraints and waivers to the netlist design, simplifying the verification process for users. The NCDC checks the netlist and generates a report that compares RTL-level CDC checking results to netlist-level results, making it easier to identify new issues.

Career Highlights

Movahed-Ezazi has worked with leading companies in the industry, including Atrenta, Inc. and Synopsys, Inc. His experience in these organizations has contributed to his expertise in clock network analysis and verification technologies.

Collaborations

Throughout his career, Movahed-Ezazi has collaborated with notable professionals, including Maher Mneimneh and Mohamed Shaker Sarwary. These collaborations have further enriched his work and innovations in the field.

Conclusion

Mohammad Homayoun Movahed-Ezazi's contributions to clock network analysis and verification have established him as a key figure in the technology sector. His innovative patents and collaborations reflect his commitment to advancing the field.