| 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 |