WILLIAM K LAM

Person

FREMONT, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
System and method for distributed computing in non-volatile memory
- Patent number 9,594,524
- Issue date Mar 14, 2017
- SanDisk Technologies LLC
- William Kwei-Cheung Lam
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for distributed computing in non-volatile memory
- Patent number 9,354,824
- Issue date May 31, 2016
- SanDisk Technologies, Inc
- William Kwei-Cheung Lam
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for distributed computing in non-volatile memory
- Patent number 9,239,691
- Issue date Jan 19, 2016
- SanDisk Technologies, Inc
- William Kwei-Cheung Lam
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for distributed computing in non-volatile memory
- Patent number 9,134,925
- Issue date Sep 15, 2015
- SanDisk Technologies Inc.
- William Kwei-Cheung Lam
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for distributed computing in non-volatile memory
- Patent number 9,003,109
- Issue date Apr 7, 2015
- SanDisk Technologies, Inc
- William Kwei-Cheung Lam
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Eliminate false passing of circuit verification through automatic d...
- Patent number 7,475,369
- Issue date Jan 6, 2009
- Sun Microsystems, Inc.
- William K. Lam
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Technique for generating input stimulus to cover properties not cov...
- Patent number 7,454,726
- Issue date Nov 18, 2008
- Sun Microsystems, Inc.
- William K. Lam
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
PLI-less co-simulation of ISS-based verification systems in hardwar...
- Patent number 7,447,621
- Issue date Nov 4, 2008
- Sun Microsystems, Inc.
- William K. Lam
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for simulation with optimized kernels and debugging with uno...
- Patent number 7,424,418
- Issue date Sep 9, 2008
- Sun Microsystems, Inc.
- Mohamed Soufi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for transforming behavioral architectural and verification s...
- Patent number 7,246,053
- Issue date Jul 17, 2007
- Sun Microsystems, Inc.
- Mohamed Soufi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for generating minimal node data and dynamic a...
- Patent number 7,236,917
- Issue date Jun 26, 2007
- Sun Microsystems, Inc.
- Nasser Nouri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for detection and isolation during large scale...
- Patent number 7,051,303
- Issue date May 23, 2006
- Sun Microsystems, Inc.
- William K. Lam
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for automatically isolating minimal distinguis...
- Patent number 7,017,150
- Issue date Mar 21, 2006
- Sun Microsystems, Inc.
- William K. Lam
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method of transforming variable loops into constant loops
- Patent number 6,988,266
- Issue date Jan 17, 2006
- Sun Microsystems, Inc.
- William K. Lam
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Boosting simulation performance by dynamically customizing segmente...
- Patent number 6,775,810
- Issue date Aug 10, 2004
- Sun Microsystems, Inc.
- Victor A. Chang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus to facilitate generating simulation modules fo...
- Patent number 6,715,134
- Issue date Mar 30, 2004
- Sun Microsystems, Inc.
- Victor A. Chang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Using Boolean expressions to represent shapes within a layout of an...
- Patent number 6,678,868
- Issue date Jan 13, 2004
- Sun Microsystems, Inc.
- William K. Lam
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for generating n-segment steiner trees
- Patent number 6,389,376
- Issue date May 14, 2002
- Sun Microsystems, Inc.
- William Lam
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for optimizing real functions in Boolean domain
- Patent number 6,389,576
- Issue date May 14, 2002
- Sun Microsystems, Inc.
- William Lam
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
System and Method for Distributed Computing in Non-Volatile Memory
- Publication number 20160266848
- Publication date Sep 15, 2016
- SanDisk Technologies LLC
- William Kwei-Cheung Lam
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR DISTRIBUTED COMPUTING IN NON-VOLATILE MEMORY
- Publication number 20160124654
- Publication date May 5, 2016
- SANDISK TECHNOLOGIES INC.
- William Kwei-Cheung Lam
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR DISTRIBUTED COMPUTING IN NON-VOLATILE MEMORY
- Publication number 20150347058
- Publication date Dec 3, 2015
- SANDISK TECHNOLOGIES INC.
- William Kwei-Cheung Lam
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Technique for generating input stimulus to cover properties not cov...
- Publication number 20070192753
- Publication date Aug 16, 2007
- SUN MICROSYSTEMS, INC.
- William K. Lam
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Boosting simulation performance by dynamically customizing segmente...
- Publication number 20040068701
- Publication date Apr 8, 2004
- Victor A. Chang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for transforming behavioral architectural and verification s...
- Publication number 20040025073
- Publication date Feb 5, 2004
- Mohamed Soufi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method of transforming variable loops into constant loops
- Publication number 20040015915
- Publication date Jan 22, 2004
- Sun Microsystems, Inc.
- William K. Lam
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Using boolean expressions to represent shapes within a layout of an...
- Publication number 20030200512
- Publication date Oct 23, 2003
- William K. Lam
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for simulation system compiler
- Publication number 20030188299
- Publication date Oct 2, 2003
- Jeffrey M. Broughton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus to facilitate generating simulation modules fo...
- Publication number 20030167450
- Publication date Sep 4, 2003
- Victor A. Chang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and system for robust distributed circuit synthesis
- Publication number 20030093765
- Publication date May 15, 2003
- William K. Lam
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for automatically isolating minimal distinguis...
- Publication number 20030051232
- Publication date Mar 13, 2003
- William K. Lam
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for cycle-based computation
- Publication number 20030040896
- Publication date Feb 27, 2003
- Thomas M. McWilliams
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for evaluating logic states of design nodes fo...
- Publication number 20030037305
- Publication date Feb 20, 2003
- Liang T. Chen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for amortizing critical path computations
- Publication number 20030036894
- Publication date Feb 20, 2003
- William Lam
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR ROBUST DISTRIBUTED CIRCUIT SYNTHESIS
- Publication number 20010020290
- Publication date Sep 6, 2001
- SUN MICROSYSTEMS, INC.
- WILLIAM K LAM
- G06 - COMPUTING CALCULATING COUNTING

WILLIAM K LAM

Person

Patents Grantslast 30 patents

System and method for distributed computing in non-volatile memory

System and method for distributed computing in non-volatile memory

System and method for distributed computing in non-volatile memory

System and method for distributed computing in non-volatile memory

System and method for distributed computing in non-volatile memory

Eliminate false passing of circuit verification through automatic d...

Technique for generating input stimulus to cover properties not cov...

PLI-less co-simulation of ISS-based verification systems in hardwar...

Method for simulation with optimized kernels and debugging with uno...

Method for transforming behavioral architectural and verification s...

Method and apparatus for generating minimal node data and dynamic a...

Method and apparatus for detection and isolation during large scale...

Method and apparatus for automatically isolating minimal distinguis...

Method of transforming variable loops into constant loops

Boosting simulation performance by dynamically customizing segmente...

Method and apparatus to facilitate generating simulation modules fo...

Using Boolean expressions to represent shapes within a layout of an...

Method and apparatus for generating n-segment steiner trees

Method and apparatus for optimizing real functions in Boolean domain

Patents Applicationslast 30 patents

System and Method for Distributed Computing in Non-Volatile Memory

SYSTEM AND METHOD FOR DISTRIBUTED COMPUTING IN NON-VOLATILE MEMORY

SYSTEM AND METHOD FOR DISTRIBUTED COMPUTING IN NON-VOLATILE MEMORY

Technique for generating input stimulus to cover properties not cov...

Boosting simulation performance by dynamically customizing segmente...

Method for transforming behavioral architectural and verification s...

Method of transforming variable loops into constant loops

Using boolean expressions to represent shapes within a layout of an...

Method and apparatus for simulation system compiler

Method and apparatus to facilitate generating simulation modules fo...

Method and system for robust distributed circuit synthesis

Method and apparatus for automatically isolating minimal distinguis...

Method and apparatus for cycle-based computation

Method and apparatus for evaluating logic states of design nodes fo...

Method and apparatus for amortizing critical path computations

METHOD AND SYSTEM FOR ROBUST DISTRIBUTED CIRCUIT SYNTHESIS