Inventor
HANNA ZIYAD
IL13 patents
⚠️ This page may combine multiple inventors who share the name “HANNA ZIYAD”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
INTEL CORP
5 patentsUS6567959B2May 20, 2003
Method and device for verification of VLSI designs
INTEL CORP26 citations88
US7073141B2Jul 4, 2006
Device, system and method for VLSI design analysis
INTEL CORP12 citations74
US6564358B2May 13, 2003
Method and system for formal verification of a circuit model using binary decision diagrams
INTEL CORP12 citations65
US7117465B2Oct 3, 2006
Application of the retimed normal form to the formal equivalence verification of abstract RTL descriptions for pipelined designs
INTEL CORP4 citations59
US7730436B2Jun 1, 2010
Verification using simultaneous and inductive SAT algorithms
INTEL CORP4 citations52
CADENCE DESIGN SYSTEMS INC
4 patentsUS10789404B1Sep 29, 2020
System, method, and computer program product for generating a formal verification model
CADENCE DESIGN SYSTEMS INC7 citations80
US10984161B1Apr 20, 2021
System, method, and computer program product for sequential equivalence checking in formal verification
CADENCE DESIGN SYSTEMS INC2 citations70
US10983758B1Apr 20, 2021
System, method, and computer program product for automatically inferring case-split hints in equivalence checking of an electronic design
CADENCE DESIGN SYSTEMS INC3 citations69
US12536358B1Jan 27, 2026
Method and system for automatic bug localization
CADENCE DESIGN SYSTEMS INC0 citations40