| 11544435 |
On-the-fly computation of analog mixed-signal (AMS) measurements |
Ilya Kudryavtsev, Eduard Cerny, Dmitriy Mosheyev |
2023-01-03 |
| 11501050 |
Analog mixed-signal assertion-based checker system |
Eduard Cerny, Ilya Kudryavtsev |
2022-11-15 |
| 11386250 |
Detecting timing violations in emulation using field programmable gate array (FPGA) reprogramming |
Nathaniel Azuelos, Boris Gommershtadt, Alexander Shot |
2022-07-12 |
| 11232174 |
SAT solver based on interpretation and truth table analysis |
— |
2022-01-25 |
| 11188695 |
Unified functional coverage and synthesis flow for formal verification and emulation |
Ashok Kumar Bhatt, Eduard Cerny, Hanish Singla |
2021-11-30 |
| 11176293 |
Method and system for emulation clock tree reduction |
Alexander Rabinovitch, Boris Gommershtadt, Daniel Geist, Srivatsan Raghavan |
2021-11-16 |
| 10962595 |
Efficient realization of coverage collection in emulation |
Leonid Alexander Broukhis, Boris Gommershtadt, Florent Sébastien Marc Emmanuel Claude Duru, Gabriel Gouvine |
2021-03-30 |
| 10579760 |
Force/release support in emulation and formal verification |
Ionut Silviu Cirjan, Boris Gommershtadt, Naphtali Yehoshua Sprei |
2020-03-03 |