Gitanjali Swamy

Publication Activity (10 Years)

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

Publications

Gitanjali Swamy, Stephen A. Edwards, Robert K. Brayton
Efficient Verification and Synthesis using Design Commonalities. VLSI Design (1998)
Gitanjali Swamy
Formal Verification of Digital Systems. VLSI Design (1997)
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)
Gitanjali Swamy, Robert K. Brayton, Vigyan Singhal
Incremental methods for FSM traversal. ICCD (1995)
Gitanjali Swamy, Robert K. Brayton
Incremental formal design verification. ICCAD (1994)
Adnan Aziz, Vigyan Singhal, Gitanjali Swamy, Robert K. Brayton
Minimizing Interacting Finite State Machines: A Compositional Approach to Language to Containment. ICCD (1994)