HAIM KERMANY

Follow

Person

Manof, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Hardware verification based on relations between coverage events
- Patent number 10,984,159
- Issue date Apr 20, 2021
- International Business Machines Corporation
- Ziv Nevo
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verifying sequential equivalence for randomly initialized designs
- Patent number 10,540,469
- Issue date Jan 21, 2020
- International Business Machines Corporation
- Alexander Ivrii
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
VERIFYING SEQUENTIAL EQUIVALENCE FOR RANDOMLY INITIALIZED DESIGNS
- Publication number 20190188349
- Publication date Jun 20, 2019
- International Business Machines Corporation
- ALEXANDER IVRII
- G06 - COMPUTING CALCULATING COUNTING