G. Swamy

VIS: A System for Verification and Synthesis

Tiziano Villa, Stephen A. Edwards, Szu-Tsung Cheng, 1996, CAV.

VIS

R. Brayton, A. Sangiovanni-Vincentelli, G. Hachtel, 2021 .

Predators in the Boardroom: Relating Sexually Predatory, Discriminatory Behavior to Private Capital Performance

Philip E. Auerswald, P. Auerswald, G. Swamy, 2018 .

Identifying Common Substructure for Incremental Methods

R. Brayton, S. Edwards, G. Swamy, 1996 .

WHAT A CAIA MEMBER SHOULD KNOW Setting the Benchmark : Spotlight on Private Equity

Hossein B. Kazemi, D. Ph., G. Swamy, 2013 .

Unambiguous Performance: Towards a Less Imperfect Way of Measuring, Analyzing, and Understanding Private Equity Performance

G. Swamy, 2014 .

Formal verification of digital systems

Gitanjali Swamy, G. Swamy, 1997, Proceedings Tenth International Conference on VLSI Design.

Manufacturing Cost Simulations for Low Cost RFID

G. Swamy, 2020 .

Manufacturing Cost Simulations for Low Cost RFID systems

Sanjay E. Sarma, Booz Allen, Gitanjali Swamy, 2003 .

Incremental Methods for Formal Verification and Logic Synthesis

Robert K. Brayton, Gitanjali M. Swamy, G. Swamy, 1996 .

Incremental methods for FSM traversal

Robert K. Brayton, Vigyan Singhal, Gitanjali Swamy, 1995, Proceedings of ICCD '95 International Conference on Computer Design. VLSI in Computers and Processors.

Incremental Formal Design Verification

Robert K. Brayton, Gitanjali M. Swamy, R. Brayton, 1994, IEEE/ACM International Conference on Computer-Aided Design.

Minimizing interacting finite state machines: a compositional approach to language containment

Robert K. Brayton, Adnan Aziz, Vigyan Singhal, 1994, Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computers and Processors.

Minimal logic re-synthesis for engineering change

Robert K. Brayton, Sriram K. Rajamani, Gitanjali M. Swamy, 1997, Proceedings of 1997 IEEE International Symposium on Circuits and Systems. Circuits and Systems in the Information Age ISCAS '97.