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 001; Thomas R. Shiple; Vigyan Singhal; Serdar Tasiran; Huey-Yih Wang; Robert K. Brayton; et al. (DAC, 1994)

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 001; et al. (CAV, 1996)

High Performance BDD Package By Exploiting Memory Hiercharchy. - Jagesh V. Sanghavi; Rajeev K. Ranjan 001; Robert K. Brayton; Alberto L. Sangiovanni-Vincentelli (DAC, 1996)

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 001; et al. (FMCAD, 1996)

Binary decision diagrams on network of workstation. - Rajeev K. Ranjan 001; Jagesh V. Sanghavi; Robert K. Brayton; Alberto L. Sangiovanni-Vincentelli (ICCD, 1996)

Benchmarking and Analysis of Architectures for CAD Applications. - Amit Mehrotra; Shaz Qadeer; Rajeev K. Ranjan 001; Randy H. Katz (ICCD, 1997)

Dynamic Reordering in a Breadth-First Manipulation Based BDD Package: Challenges and Solutions. - Rajeev K. Ranjan 001; Wilsin Gosti; Robert K. Brayton; Alberto L. Sangiovanni-Vincentelli (ICCD, 1997)

A Comparison of Presburger Engines for EFSM Reachability. - Thomas R. Shiple; James H. Kukula; Rajeev K. Ranjan 001 (CAV, 1998)

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 001; Fabio Somenzi (FMCAD, 1998)

On the optimization power of retiming and resynthesis transformations. - Rajeev K. Ranjan 001; Vigyan Singhal; Fabio Somenzi; Robert K. Brayton (ICCAD, 1998)

Using Combinational Verification for Sequential Circuits. - Rajeev K. Ranjan 001; Vigyan Singhal; Fabio Somenzi; Robert K. Brayton (DATE, 1999)

Formal verification methods: getting around the brick wall. - David L. Dill; Nate James; Shishpal Rawat; Gérard Berry; Limor Fix; Harry Foster; Rajeev K. Ranjan 001; Gunnar Stålmarck; Curt Widdoes (DAC, 2002)

Beyond verification: leveraging formal for debugging. - Rajeev K. Ranjan 001; Claudionor Coelho; Sebastian Skalberg (DAC, 2009)