Rajeev K. Ranjan

Publication Activity (10 Years)

Years Active: 1994-2009
Publications (10 Years): 0

Publications

Rajeev K. Ranjan, Claudionor Coelho, Sebastian Skalberg
Beyond verification: leveraging formal for debugging. DAC (2009)
David L. Dill, Nate James, Shishpal Rawat, Gérard Berry, Limor Fix, Harry Foster, Rajeev K. Ranjan, Gunnar Stålmarck, Curt Widdoes
Formal verification methods: getting around the brick wall. DAC (2002)
Rajeev K. Ranjan, Vigyan Singhal, Fabio Somenzi, Robert K. Brayton
Using Combinational Verification for Sequential Circuits. DATE (1999)
Bwolen Yang, Randal E. Bryant, David R. O'Hallaron, Armin Biere, Olivier Coudert, Geert Janssen, Rajeev K. Ranjan, Fabio Somenzi
A Performance Study of BDD-Based Model Checking. FMCAD (1998)
Rajeev K. Ranjan, Vigyan Singhal, Fabio Somenzi, Robert K. Brayton
On the optimization power of retiming and resynthesis transformations. ICCAD (1998)
Thomas R. Shiple, James H. Kukula, Rajeev K. Ranjan
A Comparison of Presburger Engines for EFSM Reachability. CAV (1998)
Amit Mehrotra, Shaz Qadeer, Rajeev K. Ranjan, Randy H. Katz
Benchmarking and Analysis of Architectures for CAD Applications. ICCD (1997)
Rajeev K. Ranjan, Wilsin Gosti, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Dynamic Reordering in a Breadth-First Manipulation Based BDD Package: Challenges and Solutions. ICCD (1997)
Rajeev K. Ranjan, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Binary decision diagrams on network of workstation. ICCD (1996)
Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa
VIS: A System for Verification and Synthesis. CAV (1996)
Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa
VIS. FMCAD (1996)
Jagesh V. Sanghavi, Rajeev K. Ranjan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
High Performance BDD Package By Exploiting Memory Hiercharchy. DAC (1996)
Adnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin Hojati, Timothy Kam, Sriram C. Krishnan, Rajeev K. Ranjan, Thomas R. Shiple, Vigyan Singhal, Serdar Tasiran, Huey-Yih Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
HSIS: A BDD-Based Environment for Formal Verification. DAC (1994)