Inventor
KERMANY HAIM
IL3 patents
Patents
3 patentsUS10984159B1Apr 20, 2021
Hardware verification based on relations between coverage events
IBM3 citations69
US10540469B2Jan 21, 2020
Verifying sequential equivalence for randomly initialized designs
IBM0 citations37
US10437716B2Oct 8, 2019
Method and apparatus for coverage analysis of SRT look-up table
IBM0 citations26