Chian-Min Richard Ho

Person

Palo Alto, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Generating integrated circuit floorplans using neural networks
- Patent number 12,086,516
- Issue date Sep 10, 2024
- Google LLC
- Chian-min Richard Ho
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generating integrated circuit placements using neural networks
- Patent number 11,853,677
- Issue date Dec 26, 2023
- Google LLC
- Anna Darling Goldie
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generating integrated circuit floorplans using neural networks
- Patent number 11,675,940
- Issue date Jun 13, 2023
- Google LLC
- Chian-min Richard Ho
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generating integrated circuit placements using neural networks
- Patent number 11,556,690
- Issue date Jan 17, 2023
- Google LLC
- Anna Darling Goldie
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generating integrated circuit placements using neural networks
- Patent number 11,216,609
- Issue date Jan 4, 2022
- Google LLC
- Anna Darling Goldie
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generating integrated circuit floorplans using neural networks
- Patent number 11,100,266
- Issue date Aug 24, 2021
- Google LLC
- Chian-min Richard Ho
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generating integrated circuit floorplans using neural networks
- Patent number 10,699,043
- Issue date Jun 30, 2020
- Google LLC
- Chian-min Richard Ho
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Measure of analysis performed in property checking
- Patent number 9,684,760
- Issue date Jun 20, 2017
- Mentor Graphics Corporation
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Measure of analysis performed in property checking
- Patent number 9,262,557
- Issue date Feb 16, 2016
- Mentor Graphics Corporation
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Measure of analysis performed in property checking
- Patent number 8,418,121
- Issue date Apr 9, 2013
- Mentor Graphics Corporation
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Measure of analysis performed in property checking
- Patent number 7,890,897
- Issue date Feb 15, 2011
- Mentor Graphics Corporation
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for automatically searching for functional defects in a desc...
- Patent number 7,478,028
- Issue date Jan 13, 2009
- Chian-Min Richard Ho
- G01 - MEASURING TESTING
Information Patent Grant
Selection of initial states for formal verification
- Patent number 7,454,324
- Issue date Nov 18, 2008
- James Andrew Garrard Seawright
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Measure of analysis performed in property checking
- Patent number 7,318,205
- Issue date Jan 8, 2008
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for automatically generating checkers for finding functional...
- Patent number 7,007,249
- Issue date Feb 28, 2006
- Tai An Ly
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for automatically searching for functional defects in a desc...
- Patent number 6,885,983
- Issue date Apr 26, 2005
- Mentor Graphics Corporation
- Chian-Min Richard Ho
- G01 - MEASURING TESTING
Information Patent Grant
Measure of analysis performed in property checking
- Patent number 6,848,088
- Issue date Jan 25, 2005
- Mentor Graphics Corporation
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for automatically generating checkers for finding functional...
- Patent number 6,609,229
- Issue date Aug 19, 2003
- O-In Design Automation, Inc.
- Tai An Ly
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for automatically searching for functional defects in a desc...
- Patent number 6,292,765
- Issue date Sep 18, 2001
- O-IN Design Automation
- Chian-Min Richard Ho
- G01 - MEASURING TESTING
Information Patent Grant
Method for automatically generating checkers for finding functional...
- Patent number 6,175,946
- Issue date Jan 16, 2001
- O-IN Design Automation
- Tai An Ly
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
GENERATING LEARNED REPRESENTATIONS OF DIGITAL CIRCUIT DESIGNS
- Publication number 20240273270
- Publication date Aug 15, 2024
- Google LLC
- Shobha Vasudevan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
OPTICAL FIBER ARRAY WITH OPTICAL PASSTHROUGH
- Publication number 20240264395
- Publication date Aug 8, 2024
- Lightmatter, Inc
- Nicholas C. Harris
- G02 - OPTICS
Information Patent Application
GENERATING INTEGRATED CIRCUIT PLACEMENTS USING NEURAL NETWORKS
- Publication number 20240249058
- Publication date Jul 25, 2024
- Google LLC
- Anna Darling Goldie
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATING INTEGRATED CIRCUIT FLOORPLANS USING NEURAL NETWORKS
- Publication number 20230394203
- Publication date Dec 7, 2023
- Google LLC
- Chian-min Richard Ho
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Faster Coverage Convergence with Automatic Test Parameter Tuning in...
- Publication number 20230376645
- Publication date Nov 23, 2023
- Google LLC
- Hamid Shojaei
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATING INTEGRATED CIRCUIT PLACEMENTS USING NEURAL NETWORKS
- Publication number 20230117786
- Publication date Apr 20, 2023
- Google LLC
- Anna Darling Goldie
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATING INTEGRATED CIRCUIT PLACEMENTS USING NEURAL NETWORKS
- Publication number 20220108058
- Publication date Apr 7, 2022
- Google LLC
- Anna Darling Goldie
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATING INTEGRATED CIRCUIT FLOORPLANS USING NEURAL NETWORKS
- Publication number 20220043951
- Publication date Feb 10, 2022
- Google LLC
- Chian-min Richard Ho
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATING INTEGRATED CIRCUIT PLACEMENTS USING NEURAL NETWORKS
- Publication number 20210334445
- Publication date Oct 28, 2021
- Google LLC
- Anna Darling Goldie
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATING INTEGRATED CIRCUIT FLOORPLANS USING NEURAL NETWORKS
- Publication number 20200364389
- Publication date Nov 19, 2020
- Google LLC
- Chian-min Richard Ho
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATING INTEGRATED CIRCUIT FLOORPLANS USING NEURAL NETWORKS
- Publication number 20200175216
- Publication date Jun 4, 2020
- Google LLC
- Chian-min Richard Ho
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MEASURE OF ANALYSIS PERFORMED IN PROPERTY CHECKING
- Publication number 20160125122
- Publication date May 5, 2016
- Mentor Graphics Corporation
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MEASURE OF ANALYSIS PERFORMED IN PROPERTY CHECKING
- Publication number 20130239084
- Publication date Sep 12, 2013
- Mentor Graphics Corporation
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MEASURE OF ANALYSIS PERFORMED IN PROPERTY CHECKING
- Publication number 20110138346
- Publication date Jun 9, 2011
- Mentor Graphics Corporation
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MEASURE OF ANALYSIS PERFORMED IN PROPERTY CHECKING
- Publication number 20080066032
- Publication date Mar 13, 2008
- Mentor Graphics Corporation
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for automatically searching for functional defects in a desc...
- Publication number 20050131665
- Publication date Jun 16, 2005
- Chian-Min Richard Ho
- G01 - MEASURING TESTING
Information Patent Application
Measure of analysis performed in property checking
- Publication number 20050081169
- Publication date Apr 14, 2005
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for automatically generating checkers for finding functional...
- Publication number 20030200515
- Publication date Oct 23, 2003
- 0-In Design automation Inc.
- Tai An Ly
- G06 - COMPUTING CALCULATING COUNTING

Chian-Min Richard Ho

Person

Patents Grantslast 30 patents

Generating integrated circuit floorplans using neural networks

Generating integrated circuit placements 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 floorplans using neural networks

Generating integrated circuit floorplans using neural networks

Measure of analysis performed in property checking

Measure of analysis performed in property checking

Measure of analysis performed in property checking

Measure of analysis performed in property checking

Method for automatically searching for functional defects in a desc...

Selection of initial states for formal verification

Measure of analysis performed in property checking

Method for automatically generating checkers for finding functional...

Method for automatically searching for functional defects in a desc...

Measure of analysis performed in property checking

Method for automatically generating checkers for finding functional...

Method for automatically searching for functional defects in a desc...

Method for automatically generating checkers for finding functional...

Patents Applicationslast 30 patents

GENERATING LEARNED REPRESENTATIONS OF DIGITAL CIRCUIT DESIGNS

OPTICAL FIBER ARRAY WITH OPTICAL PASSTHROUGH

GENERATING INTEGRATED CIRCUIT PLACEMENTS USING NEURAL NETWORKS

GENERATING INTEGRATED CIRCUIT FLOORPLANS USING NEURAL NETWORKS

Faster Coverage Convergence with Automatic Test Parameter Tuning in...

GENERATING INTEGRATED CIRCUIT PLACEMENTS USING NEURAL NETWORKS

GENERATING INTEGRATED CIRCUIT PLACEMENTS 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

MEASURE OF ANALYSIS PERFORMED IN PROPERTY CHECKING

MEASURE OF ANALYSIS PERFORMED IN PROPERTY CHECKING

MEASURE OF ANALYSIS PERFORMED IN PROPERTY CHECKING

MEASURE OF ANALYSIS PERFORMED IN PROPERTY CHECKING

Method for automatically searching for functional defects in a desc...

Measure of analysis performed in property checking

Method for automatically generating checkers for finding functional...