Inventor

HANNA ZIYAD E

IL5 patents

⚠️ This page may combine multiple inventors who share the name “HANNA ZIYAD E”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

JASPER DESIGN AUTOMATION INC

2 patents

US9158874B1Oct 13, 2015

Formal verification coverage metrics of covered events for circuit design properties

JASPER DESIGN AUTOMATION INC6 citations69

US8826201B1Sep 2, 2014

Formal verification coverage metrics for circuit design properties

JASPER DESIGN AUTOMATION INC5 citations67

INTEL CORP

2 patents

US6792581B2Sep 14, 2004

Method and apparatus for cut-point frontier selection and for counter-example generation in formal equivalence verification

INTEL CORP9 citations69

US7159201B2Jan 2, 2007

Method and apparatus for cut-point frontier selection and for counter-example generation in formal equivalence verification

INTEL CORP4 citations58

HANNA ZIYAD E

1 patent

US9177089B2Nov 3, 2015

Formal verification coverage metrics for circuit design properties

HANNA ZIYAD E3 citations51