Concepedia

Viresh Paruthi

VP

Statistics

Publications

9

Citations

805

H-Index

9

Active since

2001

Affiliations

IBM (United States)(Current)

Cadence Design Systems (United States)

Lawrence Berkeley National Laboratory

IBM (Germany)

University of Rochester

Viresh Paruthi is an author at IBM (United States) specializing in computer science, computer engineering, and computing.

Publications per year

2001–2011

9

Publications

9

Robust Boolean reasoning for equivalence checking and functional property verification

Andreas Kuehlmann, Viresh Paruthi, F. Krohm et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2002 · 331 citations

, , +16

Circuit-based Boolean Reasoning

Andreas Kuehlmann, Malay Ganai, Viresh Paruthi · 2001 · 154 citations

, , +15

Scalable Sequential Equivalence Checking across Arbitrary Design Transformations

Jason Baumgartner, Hari Mony, Viresh Paruthi et al. · Proceedings, IEEE International Conference on Computer Design/Proceedings - IEEE International Conference on Computer Design · 2006 · 74 citations

, , +9

Functional verification of the POWER4 microprocessor and POWER4 multiprocessor systems

J. M. Ludden, Wolfgang Roesner, G. M. Heiling et al. · IBM Journal of Research and Development · 2002 · 62 citations

, , +17

Equivalence checking combining a structural SAT-solver, BDDs, and simulation

Viresh Paruthi, Andreas Kuehlmann · 2002 · 61 citations

, , +14

1–5 of 9