Issued Patents All Time
Showing 1–15 of 15 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11868241 | Method and system for optimizing a verification test regression | Yael Kinderman, Michele Petracca, Ido Avraham | 2024-01-09 |
| 11748539 | Converting analog variable delay in real number modeling code to cycle-driven simulation interface code | Ophir Turbovich | 2023-09-05 |
| 10607039 | Constrained metric optimization of a system on chip | Yael Kinderman, Shlomi Uziel, Ido Avraham, Michele Petracca | 2020-03-31 |
| 10423741 | Constrained metric verification analysis of a system on chip | Michele Petracca, Yael Kinderman, Shlomi Uziel, Ido Avraham | 2019-09-24 |
| 10409939 | Statistical sensitivity analyzer | Michele Petracca | 2019-09-10 |
| 10262095 | Conversion of real number modeling code to cycle-driven simulation interface code for circuit design in digital mixed signal environments | Ophir Turbovich | 2019-04-16 |
| 10262088 | Converting real number modeling code to cycle-driven simulation interface code for circuit design in digital mixed signal environments | Ophir Turbovich | 2019-04-16 |
| 10140202 | Source code annotation for a system on chip | Michele Petracca | 2018-11-27 |
| 10133837 | Method and apparatus for converting real number modeling to synthesizable register-transfer level emulation in digital mixed signal environments | Ophir Turbovich, Michael Young, Sean Dart | 2018-11-20 |
| 9524366 | Annotations to identify objects in design generated by high level synthesis (HLS) | Felice Balarin, Abhinav Tallapally, Walter J. Ghijsen, Michael Meyer, Sherry Solden +2 more | 2016-12-20 |
| 8856700 | Methods, systems, and apparatus for reliability synthesis | Walter J. Ghijsen, Michael Meyer, Michael T. McNamara, David Van Campenhout | 2014-10-07 |
| 7673259 | System and method for synthesis reuse | Luciano Lavagno, Alex Kondratyev | 2010-03-02 |
| 7587687 | System and method for incremental synthesis | Michael Meyer, Luciano Lavagno, Alex Kondratyev | 2009-09-08 |
| 7472361 | System and method for generating a plurality of models at different levels of abstraction from a single master model | Luciano Lavagno, Alex Kondratyev | 2008-12-30 |
| 7363605 | Eliminating false positives in crosstalk noise analysis | Alex Kondratyev, Kenneth Tseng | 2008-04-22 |