Boris Gommershtadt

Person

Mevaseret Zion, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Detecting timing violations in emulation using field programmable g...
- Patent number 11,386,250
- Issue date Jul 12, 2022
- Synopsys, Inc.
- Dmitry Korchemny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Combinatorial and sequential logic compaction in electronic circuit...
- Patent number 11,221,864
- Issue date Jan 11, 2022
- Synopsys, Inc.
- Nathaniel Azuelos
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for emulation clock tree reduction
- Patent number 11,176,293
- Issue date Nov 16, 2021
- Synopsys, Inc.
- Dmitry Korchemny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dedicated reconfigurable IP for emulation-based power estimation
- Patent number 11,138,356
- Issue date Oct 5, 2021
- Synopsys, Inc.
- Alex Potapov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Speeding matching search of hierarchical name structures
- Patent number 11,106,663
- Issue date Aug 31, 2021
- Synopsys, Inc.
- Ilya Kudryavtsev
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient realization of coverage collection in emulation
- Patent number 10,962,595
- Issue date Mar 30, 2021
- Synopsys, Inc.
- Leonid Alexander Broukhis
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generating SAIF efficiently from hardware platforms
- Patent number 10,621,296
- Issue date Apr 14, 2020
- Synopsys, Inc.
- Boris Gommershtadt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Force/release support in emulation and formal verification
- Patent number 10,579,760
- Issue date Mar 3, 2020
- Synopsys, Inc.
- Ionut Silviu Cirjan
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
DETECTING TIMING VIOLATIONS IN EMULATION USING FIELD PROGRAMMABLE G...
- Publication number 20210232742
- Publication date Jul 29, 2021
- Synopsys, Inc.
- Dmitry Korchemny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FORCE/RELEASE SUPPORT IN EMULATION AND FORMAL VERIFICATION
- Publication number 20200034499
- Publication date Jan 30, 2020
- Synopsys, Inc.
- Ionut Silviu Cirjan
- G06 - COMPUTING CALCULATING COUNTING

Boris Gommershtadt

Person

Patents Grantslast 30 patents

Detecting timing violations in emulation using field programmable g...

Combinatorial and sequential logic compaction in electronic circuit...

Method and system for emulation clock tree reduction

Dedicated reconfigurable IP for emulation-based power estimation

Speeding matching search of hierarchical name structures

Efficient realization of coverage collection in emulation

Generating SAIF efficiently from hardware platforms

Force/release support in emulation and formal verification

Patents Applicationslast 30 patents

DETECTING TIMING VIOLATIONS IN EMULATION USING FIELD PROGRAMMABLE G...

FORCE/RELEASE SUPPORT IN EMULATION AND FORMAL VERIFICATION