Issued Patents All Time
Showing 1–10 of 10 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12340157 | Non-functional loopback-paths removal from IO-pads using logic replication | Florent Sébastien Marc Emmanuel Claude Duru, Gilles Pierre Rémond, Mikhail Bershteyn | 2025-06-24 |
| 12293139 | Partitioning a circuit for distributed balanced independent simulation jobs with upper-bounded memory | Tien-Chien Lee, Songra Pan, Suman Nandan | 2025-05-06 |
| 12001317 | Waveform based reconstruction for emulation | Gagan Vishal Jain, Johnson Adaikalasamy, Alexander John Wakefield, Ritesh Mittal, Solaiman Rahim | 2024-06-04 |
| 11726899 | Waveform based reconstruction for emulation | Gagan Vishal Jain, Johnson Adaikalasamy, Alexander John Wakefield, Ritesh Mittal, Solaiman Rahim | 2023-08-15 |
| 11475197 | Hardware simulation systems and methods for identifying state-holding loops and oscillating loops | Florent Sébastien Marc Emmanuel Claude Duru, Francois Peneloux | 2022-10-18 |
| 11200149 | Waveform based reconstruction for emulation | Gagan Vishal Jain, Johnson Adaikalasamy, Alexander John Wakefield, Ritesh Mittal, Solaiman Rahim | 2021-12-14 |
| 11023635 | Sequence of frames generated by emulation and waveform reconstruction using the sequence of frames | — | 2021-06-01 |
| 6775808 | Method and apparatus for generating sign-off prototypes for the design and fabrication of integrated circuits | Salil Ravindra Raje, Lawrence Pileggi, Dinesh D. Gaitonde, Padmini Gopalakrishnan, Jackson David Kreiter | 2004-08-10 |
| 5737242 | Method for automatically determining probabilities associated with a Boolean function | Jean-Christophe Madre | 1998-04-07 |
| 5434794 | Method for automatically producing an implicit representation of the prime implicants of a function | Jean-Christophe Madre | 1995-07-18 |