Gitanjali Swamy

According to our database, Gitanjali Swamy authored at least 7 papers between 1994 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

Efficient Verification and Synthesis using Design Commonalities.

Gitanjali Swamy, Stephen A. Edwards, Robert K. Brayton

Proceedings of the 11th International Conference on VLSI Design (VLSI Design 1991), 1998

1997

Formal Verification of Digital Systems.

Gitanjali Swamy

Proceedings of the 10th International Conference on VLSI Design (VLSI Design 1997), 1997

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, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

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

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

Incremental methods for FSM traversal.

Gitanjali Swamy, Robert K. Brayton, Vigyan Singhal

Proceedings of the 1995 International Conference on Computer Design (ICCD '95), 1995

1994

Minimizing Interacting Finite State Machines: A Compositional Approach to Language to Containment.

Adnan Aziz, Vigyan Singhal, Gitanjali Swamy, Robert K. Brayton

Proceedings of the Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1994

Incremental formal design verification.

Gitanjali Swamy, Robert K. Brayton

Proceedings of the 1994 IEEE/ACM International Conference on Computer-Aided Design, 1994