William Lam
29Patents
9h-index
36Co-inventors
75Inventor score
Filing activity: Jul 26, 1999 → Aug 16, 2021
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US7080365B2 | Method and apparatus for simulation system compiler | Physics | 64 | Expired |
| US7036114B2 | Method and apparatus for cycle-based computation | Physics | 41 | Expired |
| US9003109B1 | System and method for distributed computing in non-volatile memory | Physics | 23 | Active |
| US9239691B2 | System and method for distributed computing in non-volatile memory | Physics | 18 | Active |
| US7076416B2 | Method and apparatus for evaluating logic states of design nodes for cycle-based simulation | Physics | 16 | Expired |
| US6389576B1 | Method and apparatus for optimizing real functions in Boolean domain | Physics | 14 | Expired |
| US7447621B1 | PLI-less co-simulation of ISS-based verification systems in hardware simulators | Physics | 11 | Active |
| US7051303B1 | Method and apparatus for detection and isolation during large scale circuit verification | Physics | 9 | Expired |
| US8489929B2 | Facilitating large-scale testing using virtualization technology in a multi-tenant database environment | Physics | 9 | Active |
| US6988266B2 | Method of transforming variable loops into constant loops | Physics | 8 | Expired |
| US9594524B2 | System and method for distributed computing in non-volatile memory | Physics | 7 | Active |
| US9367391B2 | Error correction operations in a memory device | Physics | 6 | Active |
| US6715134B2 | Method and apparatus to facilitate generating simulation modules for testing system designs | Physics | 6 | Expired |
| US6389376B1 | Method and apparatus for generating n-segment steiner trees | Physics | 5 | Expired |
| US7236917B1 | Method and apparatus for generating minimal node data and dynamic assertions for a simulation | Physics | 5 | Expired |
| US6775810B2 | Boosting simulation performance by dynamically customizing segmented object codes based on stimulus coverage | Physics | 4 | Expired |
| US8762787B2 | Facilitating large-scale testing using virtualization technology in a multi-tenant database environment | Physics | 4 | Active |
| US7424418B1 | Method for simulation with optimized kernels and debugging with unoptimized kernels | Physics | 4 | Expired |
| US7017150B2 | Method and apparatus for automatically isolating minimal distinguishing stimuli in design verification and software development | Physics | 4 | Expired |
| US6678868B2 | Using Boolean expressions to represent shapes within a layout of an integrated circuit | Physics | 2 | Expired |
| US7454726B2 | Technique for generating input stimulus to cover properties not covered in random simulation | Physics | 2 | Active |
| US9354824B2 | System and method for distributed computing in non-volatile memory | Physics | 2 | Active |
| US7475369B1 | Eliminate false passing of circuit verification through automatic detecting of over-constraining in formal verification | Physics | 2 | Expired |
| US12190122B2 | Remote provisioning of hosts in public clouds | Physics | 0 | Active |
| US9134925B1 | System and method for distributed computing in non-volatile memory | Physics | 0 | Active |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.