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