P

Inventor

MATHUR ANMOL

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

CALYPTO DESIGN SYSTEMS INC

5 patents
US7350168B1Mar 25, 2008

System, method and computer program product for equivalence checking between designs with sequential differences

CALYPTO DESIGN SYSTEMS INC23 citations91
US7761827B1Jul 20, 2010

Integrated circuit design system, method, and computer program product that takes into account observability based clock gating conditions

CALYPTO DESIGN SYSTEMS INC10 citations82
US7284218B1Oct 16, 2007

Method and system for inplace symbolic simulation over multiple cycles of a multi-clock domain design

CALYPTO DESIGN SYSTEMS INC12 citations82
US7673257B1Mar 2, 2010

System, method and computer program product for word-level operator-to-cell mapping

CALYPTO DESIGN SYSTEMS INC9 citations81
US7966593B1Jun 21, 2011

Integrated circuit design system, method, and computer program product that takes into account the stability of various design signals

CALYPTO DESIGN SYSTEMS INC5 citations61

CADENCE DESIGN SYSTEMS INC

4 patents
US6832357B2Dec 14, 2004

Reducing datapath widths by rebalancing data flow topology

CADENCE DESIGN SYSTEMS INC17 citations90
US6807651B2Oct 19, 2004

Procedure for optimizing mergeability and datapath widths of data flow graphs

CADENCE DESIGN SYSTEMS INC19 citations90
US6772399B2Aug 3, 2004

Enhancing mergeability of datapaths and reducing datapath widths responsively to required precision

CADENCE DESIGN SYSTEMS INC14 citations90
US6772398B2Aug 3, 2004

Reducing datapath widths responsively to upper bound on information content

CADENCE DESIGN SYSTEMS INC16 citations90

CHAUHAN PANKAJ P

2 patents
US8122401B1Feb 21, 2012

System, method, and computer program product for determining equivalence of netlists utilizing at least one transformation

CHAUHAN PANKAJ P8 citations80
US8117571B1Feb 14, 2012

System, method, and computer program product for determining equivalence of netlists utilizing abstractions and transformations

CHAUHAN PANKAJ P3 citations58

CALYPTO DESIGNS SYSTEMS

1 patent
US7222317B1May 22, 2007

Circuit comparison by information loss matching

CALYPTO DESIGNS SYSTEMS51 citations89

MENTOR GRAPHICS CORP

1 patent
US10534723B1Jan 14, 2020

System, method, and computer program product for conditionally eliminating a memory read request

MENTOR GRAPHICS CORP0 citations51

TRIPATHI NIKHIL

1 patent
US9720859B1Aug 1, 2017

System, method, and computer program product for conditionally eliminating a memory read request

TRIPATHI NIKHIL1 citations45