Viresh Paruthi

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

Engineering, Verification, Computer-aided Verification +17

Circuit-based Boolean Reasoning

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

Circuit Complexity, Engineering, Boolean Function +18

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

Engineering, Hardware Verification Language, Verification +17

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

Engineering, Hardware Verification Language, Verification +26

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

Viresh Paruthi, Andreas Kuehlmann · 2002 · 60 citations

Engineering, Verification, Computer Architecture +18