Anmol Mathur
14Patents
8h-index
14Co-inventors
65Inventor score
Filing activity: Jun 17, 2002 → Jun 23, 2017
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US7222317B1 | Circuit comparison by information loss matching | Physics | 44 | Expired |
| US7350168B1 | System, method and computer program product for equivalence checking between designs with sequential differences | Physics | 14 | Expired |
| US6807651B2 | Procedure for optimizing mergeability and datapath widths of data flow graphs | Physics | 11 | Expired |
| US7761827B1 | Integrated circuit design system, method, and computer program product that takes into account observability based clock gating conditions | Physics | 10 | Active |
| US6832357B2 | Reducing datapath widths by rebalancing data flow topology | Physics | 10 | Expired |
| US6772399B2 | Enhancing mergeability of datapaths and reducing datapath widths responsively to required precision | Physics | 9 | Expired |
| US7673257B1 | System, method and computer program product for word-level operator-to-cell mapping | Physics | 8 | Active |
| US7284218B1 | Method and system for inplace symbolic simulation over multiple cycles of a multi-clock domain design | Physics | 8 | Expired |
| US6772398B2 | Reducing datapath widths responsively to upper bound on information content | Physics | 7 | Expired |
| US8122401B1 | System, method, and computer program product for determining equivalence of netlists utilizing at least one transformation | Physics | 6 | Active |
| US7966593B1 | Integrated circuit design system, method, and computer program product that takes into account the stability of various design signals | Physics | 5 | Active |
| US8117571B1 | System, method, and computer program product for determining equivalence of netlists utilizing abstractions and transformations | Physics | 3 | Active |
| US9720859B1 | System, method, and computer program product for conditionally eliminating a memory read request | Physics | 0 | Active |
| US10534723B1 | System, method, and computer program product for conditionally eliminating a memory read request | Physics | 0 | Active |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.