Pranav Ashar

Person

Belle Meade, NJ, US

People

Patents Grantslast 30 patents

Information Patent Grant
Methods and systems for efficient identification of glitch failures...
- Patent number 10,690,722
- Issue date Jun 23, 2020
- Real Intent, Inc.
- Pranav Ashar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods and systems for correcting X-pessimism in gate-level simula...
- Patent number 9,965,575
- Issue date May 8, 2018
- Real Intent, Inc.
- Pranav Ashar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Software verification using range analysis
- Patent number 8,131,532
- Issue date Mar 6, 2012
- NEC Laboratories America, Inc.
- Srihari Cadambi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Iterative abstraction using SAT-based BMC with proof analysis
- Patent number 7,742,907
- Issue date Jun 22, 2010
- NEC Laboratories America, Inc.
- Aarti Gupta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient approaches for bounded model checking
- Patent number 7,711,525
- Issue date May 4, 2010
- NEC Corporation
- Malay Ganai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient modeling of embedded memories in bounded memory checking
- Patent number 7,386,818
- Issue date Jun 10, 2008
- NEC Laboratories America, Inc.
- Malay Ganai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification of scheduling in the presence of loops using uninterpr...
- Patent number 7,383,166
- Issue date Jun 3, 2008
- NEC Corporation
- Pranav Ashar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for modeling, abstraction, and analysis of software
- Patent number 7,346,486
- Issue date Mar 18, 2008
- NEC Laboratories America, Inc.
- Franjo Ivancic
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient SAT-based unbounded symbolic model checking
- Patent number 7,305,637
- Issue date Dec 4, 2007
- NEC Laboratories America, Inc.
- Malay K. Ganai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient distributed SAT and SAT-based distributed bounded model c...
- Patent number 7,203,917
- Issue date Apr 10, 2007
- NEC Laboratories America, Inc.
- Malay Ganai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Content-based information retrieval architecture
- Patent number 7,019,674
- Issue date Mar 28, 2006
- NEC Laboratories America, Inc.
- Srihari Cadambi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Property specific testbench generation framework for circuit design...
- Patent number 6,975,976
- Issue date Dec 13, 2005
- NEC Corporation
- Albert E. Casavant
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for design validation using retiming
- Patent number 6,874,135
- Issue date Mar 29, 2005
- NEC Corporation
- Aarti Gupta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification method for combinational loop systems
- Patent number 6,816,827
- Issue date Nov 9, 2004
- NEC Corporation
- Yang Xia
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Simulation vector generation from HDL descriptions for observabilit...
- Patent number 6,816,825
- Issue date Nov 9, 2004
- NEC Corporation
- Pranav Ashar
- G01 - MEASURING TESTING
Information Patent Grant
Verification of scheduling in the presence of loops using uninterpr...
- Patent number 6,745,160
- Issue date Jun 1, 2004
- NEC Corporation
- Pranav Ashar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
SAT-based image computation with application in reachability analysis
- Patent number 6,728,665
- Issue date Apr 27, 2004
- NEC Corporation
- Aarti Gupta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Fast error diagnosis for combinational verification
- Patent number 6,662,323
- Issue date Dec 9, 2003
- NEC Corporation
- Pranav Ashar
- G01 - MEASURING TESTING
Information Patent Grant
Partition-based decision heuristics for SAT and image computation u...
- Patent number 6,651,234
- Issue date Nov 18, 2003
- NEC Corporation
- Aarti Gupta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dynamic detection and removal of inactive clauses in SAT with appli...
- Patent number 6,496,961
- Issue date Dec 17, 2002
- NEC USA, Inc.
- Aarti Gupta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for SAT solver architecture with very low synt...
- Patent number 6,415,430
- Issue date Jul 2, 2002
- NEC USA, Inc.
- Pranav Ashar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for edge-endpoint-based VLSI design rule checking
- Patent number 6,324,673
- Issue date Nov 27, 2001
- Princeton University
- Zhen Luo
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Configurable hardware system implementing Boolean Satisfiability an...
- Patent number 6,247,164
- Issue date Jun 12, 2001
- NEC USA, Inc.
- Pranav Ashar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Speeding up levelized compiled code simulation using netlist transf...
- Patent number 6,223,141
- Issue date Apr 24, 2001
- NEC USA, Inc.
- Pranav Ashar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for verification of RTL generated from scheduled behavior in...
- Patent number 6,163,876
- Issue date Dec 19, 2000
- NEC USA, Inc.
- Pranav Ashar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Implementation of boolean satisfiability with non-chronological bac...
- Patent number 6,038,392
- Issue date Mar 14, 2000
- NEC USA, Inc.
- Pranav Ashar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for using complete-1-distinguishability for FSM equivalence...
- Patent number 6,035,109
- Issue date Mar 7, 2000
- NEC USA, Inc.
- Pranav N Ashar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System for combinational equivalence checking
- Patent number 6,026,222
- Issue date Feb 15, 2000
- NEC USA, Inc.
- Aarti Gupta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Enhanced binary decision diagram-based functional simulation
- Patent number 5,937,183
- Issue date Aug 10, 1999
- NEC USA, Inc.
- Pranav N. Ashar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Breadth-first manipulation of binary decision diagrams
- Patent number 5,748,486
- Issue date May 5, 1998
- NEC USA, Inc.
- Pranav Ashar
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Methods and Systems for Correcting X-Pessimism in Gate-Level Simula...
- Publication number 20170083650
- Publication date Mar 23, 2017
- Real Intent, Inc.
- Pranav Ashar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STRING MATCHING ENGINE
- Publication number 20080065639
- Publication date Mar 13, 2008
- NetFortis, Inc.
- Ashwini Choudhary
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STRING MATCHING ENGINE FOR ARBITRARY LENGTH STRINGS
- Publication number 20080052644
- Publication date Feb 28, 2008
- NetFortis, Inc.
- Pranav Ashar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOFTWARE VERIFICATION USING RANGE ANALYSIS
- Publication number 20060282806
- Publication date Dec 14, 2006
- NEC Laboratories America, Inc.
- Srihari CADAMBI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Low-power high-throughput streaming computations
- Publication number 20060206744
- Publication date Sep 14, 2006
- NEC Laboratories America, Inc.
- Srihari Cadambi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Efficient modeling of embedded memories in bounded memory checking
- Publication number 20060190864
- Publication date Aug 24, 2006
- NEC Laboratories America, Inc.
- Malay K. Ganai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Efficient SAT-based unbounded symbolic model checking
- Publication number 20050240885
- Publication date Oct 27, 2005
- NEC Laboratories America, Inc.
- Malay K. Ganai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Content-based information retrieval architecture
- Publication number 20050174272
- Publication date Aug 11, 2005
- NEC Laboratories America, Inc.
- Srihari Cadambi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for modeling, abstraction, and analysis of software
- Publication number 20050166167
- Publication date Jul 28, 2005
- NEC Laboratories America, Inc.
- Franjo Ivancic
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for design validation using retiming
- Publication number 20050149301
- Publication date Jul 7, 2005
- NEC Corporation
- Aarti Gupta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Iterative abstraction using SAT-based BMC with proof analysis
- Publication number 20040230407
- Publication date Nov 18, 2004
- NEC LABORATORIES AMERICA, INC
- Aarti Gupta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Efficient distributed SAT and SAT-based distributed bounded model c...
- Publication number 20040210860
- Publication date Oct 21, 2004
- NEC LABORATORIES AMERICA, INC
- Malay Ganai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Verification of scheduling in the presence of loops using uninterpr...
- Publication number 20040148150
- Publication date Jul 29, 2004
- NEC Corporation
- Pranav Ashar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Efficient approaches for bounded model checking
- Publication number 20030225552
- Publication date Dec 4, 2003
- NEC Corporation
- Malay Ganai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR DESIGN VALIDATION USING RETIMING
- Publication number 20030182638
- Publication date Sep 25, 2003
- AARTI GUPTA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Hardware acceleration system for logic simulation
- Publication number 20030105617
- Publication date Jun 5, 2003
- NEC USA, INC.
- Srihari Cadambi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Partition-based decision heuristics for SAT and image computation u...
- Publication number 20020178424
- Publication date Nov 28, 2002
- NEC USA, INC.
- Aarti Gupta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Dynamic detection and removal of inactive clauses in sat with appli...
- Publication number 20020053064
- Publication date May 2, 2002
- NEC USA, INC.
- Aarti Gupta
- G01 - MEASURING TESTING

Pranav Ashar

Person

Patents Grantslast 30 patents

Methods and systems for efficient identification of glitch failures...

Methods and systems for correcting X-pessimism in gate-level simula...

Software verification using range analysis

Iterative abstraction using SAT-based BMC with proof analysis

Efficient approaches for bounded model checking

Efficient modeling of embedded memories in bounded memory checking

Verification of scheduling in the presence of loops using uninterpr...

System and method for modeling, abstraction, and analysis of software

Efficient SAT-based unbounded symbolic model checking

Efficient distributed SAT and SAT-based distributed bounded model c...

Content-based information retrieval architecture

Property specific testbench generation framework for circuit design...

Method for design validation using retiming

Verification method for combinational loop systems

Simulation vector generation from HDL descriptions for observabilit...

Verification of scheduling in the presence of loops using uninterpr...

SAT-based image computation with application in reachability analysis

Fast error diagnosis for combinational verification

Partition-based decision heuristics for SAT and image computation u...

Dynamic detection and removal of inactive clauses in SAT with appli...

Method and apparatus for SAT solver architecture with very low synt...

Method and apparatus for edge-endpoint-based VLSI design rule checking

Configurable hardware system implementing Boolean Satisfiability an...

Speeding up levelized compiled code simulation using netlist transf...

Method for verification of RTL generated from scheduled behavior in...

Implementation of boolean satisfiability with non-chronological bac...

Method for using complete-1-distinguishability for FSM equivalence...

System for combinational equivalence checking

Enhanced binary decision diagram-based functional simulation

Breadth-first manipulation of binary decision diagrams

Patents Applicationslast 30 patents

Methods and Systems for Correcting X-Pessimism in Gate-Level Simula...

STRING MATCHING ENGINE

STRING MATCHING ENGINE FOR ARBITRARY LENGTH STRINGS

SOFTWARE VERIFICATION USING RANGE ANALYSIS

Low-power high-throughput streaming computations

Efficient modeling of embedded memories in bounded memory checking

Efficient SAT-based unbounded symbolic model checking

Content-based information retrieval architecture

System and method for modeling, abstraction, and analysis of software

Method for design validation using retiming

Iterative abstraction using SAT-based BMC with proof analysis

Efficient distributed SAT and SAT-based distributed bounded model c...

Verification of scheduling in the presence of loops using uninterpr...

Efficient approaches for bounded model checking

METHOD FOR DESIGN VALIDATION USING RETIMING

Hardware acceleration system for logic simulation

Partition-based decision heuristics for SAT and image computation u...

Dynamic detection and removal of inactive clauses in sat with appli...