Concepedia

Pranav Ashar

PA

Statistics

Publications

49

Citations

2K

H-Index

27

Active since

1990

Affiliations

Princeton University(Current)

Massachusetts Institute of Technology

University of California, Berkeley

Synopsys (Switzerland)

Pranav Ashar is an author at Princeton University specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringComputer ScienceFormal MethodsComputer EngineeringFormal VerificationVerificationAutomated ReasoningSystems EngineeringComputer ArchitectureProgram Analysis

Publications per year

1990–2008

49

Publications

49

Guarded evaluation: pushing power management to logic synthesis/design

Vivek Tiwari, Sharad Malik, Pranav Ashar · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1998 · 129 citations

Engineering, Power Optimization (Eda), Computer Architecture +16

Technology mapping for lower power

Vivek Tiwari, Pranav Ashar, Sharad Malik · 1993 · 119 citations · Full text

Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver

Malay Ganai, Pranav Ashar, Aarti Gupta et al. · Proceedings - ACM IEEE Design Automation Conference · 2002 · 107 citations

Engineering, Cnf-based Algorithms, Hardware Verification Language +20

Scheduling techniques to enable power management

José Monteiro, Srinivas Devadas, Pranav Ashar et al. · 1996 · 99 citations · Full text

Efficient SAT-based bounded model checking for software verification

Franjo Ivančić, Zijiang Yang, Malay Ganai et al. · Theoretical Computer Science · 2008 · 96 citations

Engineering, Program Analysis, Automated Reasoning +9

1–5 of 49