Inventor

HO CHIAN-MIN RICHARD

US21 patents

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

HO CHIAN-MIN RICHARD

GOOGLE LLC

Generating integrated circuit floorplans using neural networks

Generating integrated circuit floorplans using neural networks

Generating integrated circuit placements using neural networks

Generating integrated circuit floorplans using neural networks

Generating integrated circuit floorplans using neural networks

Generating integrated circuit placements using neural networks

Generating integrated circuit placements using neural networks

Generating integrated circuit placements using neural networks

MENTOR GRAPHICS CORP

Measure of analysis performed in property checking

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

Measure of analysis performed in property checking

Measure of analysis performed in property checking

Measure of analysis performed in property checking

O IN DESIGN AUTOMATION

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

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

LEVITT JEREMY RUTLEDGE

Measure of analysis performed in property checking

Measure of analysis performed in property checking

SEAWRIGHT JAMES ANDREW GARRARD

Selection of initial states for formal verification

O IN DESIGN AUTOMATION INC

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

LY TAI AN

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

HO CHIAN-MIN RICHARD

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