P

Inventor

RANJAN RAJEEV KUMAR

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

KRANEN KATHRYN DREWS

3 patents
US8731894B1May 20, 2014

Indexing behaviors and recipes of a circuit design

KRANEN KATHRYN DREWS10 citations89
US8831925B1Sep 9, 2014

Indexing behaviors and recipes of a circuit design

KRANEN KATHRYN DREWS6 citations81
US8527911B1Sep 3, 2013

Comprehending a circuit design

KRANEN KATHRYN DREWS7 citations80

IP CHUNG-WAH NORRIS

2 patents
US8630824B1Jan 14, 2014

Comprehending waveforms of a circuit design

IP CHUNG-WAH NORRIS13 citations87
US9477802B1Oct 25, 2016

Isolating differences between revisions of a circuit design

IP CHUNG-WAH NORRIS5 citations80

COELHO CLAUDIONOR JOSE NUNES

1 patent
US8205187B1Jun 19, 2012

Generalizing and inferring behaviors of a circuit design

COELHO CLAUDIONOR JOSE NUNES14 citations86

REAL INTENT INC

1 patent
US6539523B1Mar 25, 2003

Automatic formulation of design verification checks based upon a language representation of a hardware design to verify the intended behavior of the hardware design

REAL INTENT INC35 citations86

SYNOPSYS INC

1 patent
US7092858B1Aug 15, 2006

Method and apparatus for formally constraining random simulation

SYNOPSYS INC16 citations77

CADENCE DESIGN SYSTEMS INC

1 patent
US9342638B1May 17, 2016

Method and system to perform performance checks

CADENCE DESIGN SYSTEMS INC0 citations36