Inventor

SABBAGH ROJER RAJI

CA3 patents

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

KWOK KA-KEI

2 patents

US8271918B2Sep 18, 2012

Formal verification of clock domain crossings

KWOK KA-KEI33 citations88

US8819599B2Aug 26, 2014

Hierarchical verification of clock domain crossings

KWOK KA-KEI2 citations56

MENTOR GRAPHICS CORP

1 patent

US9117044B2Aug 25, 2015

Hierarchical verification of clock domain crossings

MENTOR GRAPHICS CORP0 citations47