Vigyan Singhal - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Using Coverage to Deploy Formal Verification in a Simulation WorldVigyan Singhal, Prashant Aggarwal. cav 2011: 44-49 [doi]

2008

Formal Verification of a Public-Domain DDR2 Controller DesignAbhishek Datta, Vigyan Singhal. vlsid 2008: 475-480 [doi]

2003

2002

Formula-Dependent Equivalence for Compositional CTL Model CheckingAdnan Aziz, Thomas R. Shiple, Vigyan Singhal, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli. fmsd, 21(2):193-224, 2002.

2001

SIVA: A System for Coverage-Directed State Space SearchMalay K. Ganai, Praveen Yalagandula, Adnan Aziz, Andreas Kuehlmann, Vigyan Singhal. et, 17(1):11-27, 2001. [doi]

Optimizing designs containing black boxesTai-Hung Liu, Adnan Aziz, Vigyan Singhal. todaes, 6(4):591-601, 2001. [doi]

Theory of safe replacements for sequential circuitsVigyan Singhal, Carl Pixley, Adnan Aziz, Robert K. Brayton. tcad, 20(2):249-265, 2001. [doi]

2000

1999

1998

1997

1996

Verifying Continuous Time Markov ChainsAdnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert K. Brayton. cav 1996: 269-276

Latch Redundancy Removal Without Global ResetShaz Qadeer, Robert K. Brayton, Vigyan Singhal. iccd 1996: 432-439 [doi]

The case for retiming with explicit reset circuitryVigyan Singhal, Sharad Malik, Robert K. Brayton. iccad 1996: 618-625 [doi]

1995

1994

Equivalences for Fair Kripke StructuresAdnan Aziz, Vigyan Singhal, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli. icalp 1994: 364-375

Formula-Dependent Equivalence for Compositional CTL Model CheckingAdnan Aziz, Thomas R. Shiple, Vigyan Singhal. cav 1994: 324-337

Minimizing Interacting Finite State Machines: A Compositional Approach to Language to ContainmentAdnan Aziz, Vigyan Singhal, Gitanjali Swamy, Robert K. Brayton. iccd 1994: 255-261

HSIS: A BDD-Based Environment for Formal VerificationAdnan 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. dac 1994: 454-459 [doi]

Multi-level synthesis for safe replaceabilityCarl Pixley, Vigyan Singhal, Adnan Aziz, Robert K. Brayton. iccad 1994: 442-449 [doi]

The Verifiacation Problem for Safe ReplaceabilityVigyan Singhal, Carl Pixley. cav 1994: 311-323

1993

Heuristic Minimization of Synchronous RelationsVigyan Singhal, Yosinori Watanabe, Robert K. Brayton. iccd 1993: 428-433