Concepedia

Pranav Ashar

PA

Statistics

Publications

49

Citations

2.1K

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 computer science, computer engineering, and engineering.

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 · 130 citations

Engineering, Computer Engineering, Computer Science +17

Technology mapping for lower power

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

Management, Technology Management, Digital Transformation +5

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 · 108 citations

Engineering, Computer Engineering, Computer Science +11

Scheduling techniques to enable power management

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

Engineering, Computer Engineering, Computer Science +17

Efficient SAT-based bounded model checking for software verification

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

Computing, Computer Engineering, Computer Science +9

1–5 of 49