Inventor

MARDJUKI ROBERT KRISTIANTO

US7 patents

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

O IN DESIGN AUTOMATION

2 patents

US6175946B1Jan 16, 2001

Method for automatically generating checkers for finding functional defects in a description of a circuit

O IN DESIGN AUTOMATION130 citations96

US6292765B1Sep 18, 2001

Method for automatically searching for functional defects in a description of a circuit

O IN DESIGN AUTOMATION67 citations94

MENTOR GRAPHICS CORP

1 patent

US6885983B1Apr 26, 2005

Method for automatically searching for functional defects in a description of a circuit

MENTOR GRAPHICS CORP42 citations94

O IN DESIGN AUTOMATION INC

1 patent

US6609229B1Aug 19, 2003

Method for automatically generating checkers for finding functional defects in a description of a circuit

O IN DESIGN AUTOMATION INC71 citations92

LY TAI AN

1 patent

US7007249B2Feb 28, 2006

Method for automatically generating checkers for finding functional defects in a description of circuit

LY TAI AN21 citations91

HO CHIAN-MIN RICHARD

1 patent

US7478028B2Jan 13, 2009

Method for automatically searching for functional defects in a description of a circuit

HO CHIAN-MIN RICHARD21 citations88

SYNOPSYS INC

1 patent

US6148275ANov 14, 2000

System for and method of connecting a hardware modeling element to a hardware modeling system

SYNOPSYS INC5 citations52