| 11797735 |
Regression testing based on overall confidence estimating |
Leonid Greenberg, Ilya Kudryavtsev, Yaron Shkedi |
2023-10-24 |
| 11386250 |
Detecting timing violations in emulation using field programmable gate array (FPGA) reprogramming |
Dmitry Korchemny, Nathaniel Azuelos, Alexander Shot |
2022-07-12 |
| 11221864 |
Combinatorial and sequential logic compaction in electronic circuit design emulation |
Nathaniel Azuelos, Alexander Goltzman |
2022-01-11 |
| 11176293 |
Method and system for emulation clock tree reduction |
Dmitry Korchemny, Alexander Rabinovitch, Daniel Geist, Srivatsan Raghavan |
2021-11-16 |
| 11138356 |
Dedicated reconfigurable IP for emulation-based power estimation |
Alex Potapov, Yan Zucker |
2021-10-05 |
| 11106663 |
Speeding matching search of hierarchical name structures |
Ilya Kudryavtsev, Daniel Geist |
2021-08-31 |
| 10962595 |
Efficient realization of coverage collection in emulation |
Leonid Alexander Broukhis, Florent Sébastien Marc Emmanuel Claude Duru, Gabriel Gouvine, Dmitry Korchemny |
2021-03-30 |
| 10621296 |
Generating SAIF efficiently from hardware platforms |
Alexander John Wakefield, Solaiman Rahim, Lakshmi Narayana Koduri Hanumath Prasad |
2020-04-14 |
| 10579760 |
Force/release support in emulation and formal verification |
Ionut Silviu Cirjan, Dmitry Korchemny, Naphtali Yehoshua Sprei |
2020-03-03 |
| 8214782 |
Systems for total coverage analysis and ranking of circuit designs |
Swapnajit Chakraborti, Sandeep Pagey, Yael Duek-Golan |
2012-07-03 |
| 7886242 |
Systems, methods, and apparatus for total coverage analysis and ranking of circuit designs |
Swapnajit Chakraborti, Sandeep Pagey, Yael Duek-Golan |
2011-02-08 |