Rajeev K. Ranjan

13 papers A* 6A 2B 2C 3
YearRankTypeTitle / Venue / Authors
2009 A* conf
Beyond verification: leveraging formal for debugging.
DAC
Rajeev K. Ranjan, Claudionor Coelho, Sebastian Skalberg
2002 A* conf
Formal verification methods: getting around the brick wall.
DAC
David L. Dill, Nate James, Shishpal Rawat, Gérard Berry, Limor Fix, Harry Foster, Rajeev K. Ranjan, Gunnar Stålmarck, Curt Widdoes
1999 A conf
Using Combinational Verification for Sequential Circuits.
DATE
Rajeev K. Ranjan, Vigyan Singhal, Fabio Somenzi, Robert K. Brayton
1998 A* conf
A Comparison of Presburger Engines for EFSM Reachability.
CAV
Thomas R. Shiple, James H. Kukula, Rajeev K. Ranjan
1998 B conf
A Performance Study of BDD-Based Model Checking.
FMCAD
Bwolen Yang, Randal E. Bryant, David R. O'Hallaron, Armin Biere, Olivier Coudert, Geert Janssen, Rajeev K. Ranjan, Fabio Somenzi
1998 A conf
On the optimization power of retiming and resynthesis transformations.
ICCAD
Rajeev K. Ranjan, Vigyan Singhal, Fabio Somenzi, Robert K. Brayton
1997 C conf
Benchmarking and Analysis of Architectures for CAD Applications.
ICCD
Amit Mehrotra, Shaz Qadeer, Rajeev K. Ranjan, Randy H. Katz
1997 C conf
Dynamic Reordering in a Breadth-First Manipulation Based BDD Package: Challenges and Solutions.
ICCD
Rajeev K. Ranjan, Wilsin Gosti, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1996 C conf
Binary decision diagrams on network of workstation.
ICCD
Rajeev K. Ranjan, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1996 A* conf
High Performance BDD Package By Exploiting Memory Hiercharchy.
DAC
Jagesh V. Sanghavi, Rajeev K. Ranjan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1996 B conf
VIS.
FMCAD
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
1996 A* conf
VIS: A System for Verification and Synthesis.
CAV
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
1994 A* conf
HSIS: A BDD-Based Environment for Formal Verification.
DAC
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