Vigyan Singhal

43 papers A* 13A 8B 2C 6Misc 1Journal 11Unranked 2

Year	Rank	Type	Title / Venue / Authors
2015	B	`conf`	Compositional Reasoning Gotchas in Practice. FMCAD Chirag Agarwal, Paul Hylander, Yogesh Mahajan, Jonathan Michelson, Vigyan Singhal
2011	—	`conf`	Liveness vs Safety - A Practical Viewpoint. Haifa Verification Conference B. A. Krishna, Jonathan Michelson, Vigyan Singhal, Alok Jain
2011	B	`conf`	Planning for end-to-end formal using simulation-based coverage: FMCAD Prashant Aggarwal, Darrow Chu, Vijay Kadamby, Vigyan Singhal
2011	A*	`conf`	Using Coverage to Deploy Formal Verification in a Simulation World. CAV Vigyan Singhal, Prashant Aggarwal
2008	Misc	`conf`	Formal Verification of a Public-Domain DDR2 Controller Design. VLSI Design Abhishek Datta, Vigyan Singhal
2003	J	`jnl`	An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists. Formal Methods Syst. Des. Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz
2003	J	`jnl`	BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. Formal Methods Syst. Des. Anuj Goel, Khurram Sajid, Hai Zhou, Adnan Aziz, Vigyan Singhal
2003	J	`jnl`	Sequential optimization in the absence of global reset. ACM Trans. Design Autom. Electr. Syst. Vigyan Singhal, Carl Pixley, Adnan Aziz, Shaz Qadeer, Robert K. Brayton
2002	J	`jnl`	Formula-Dependent Equivalence for Compositional CTL Model Checking. Formal Methods Syst. Des. Adnan Aziz, Thomas R. Shiple, Vigyan Singhal, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
2001	J	`jnl`	Optimizing designs containing black boxes. ACM Trans. Design Autom. Electr. Syst. Tai-Hung Liu, Adnan Aziz, Vigyan Singhal
2001	J	`jnl`	SIVA: A System for Coverage-Directed State Space Search. J. Electron. Test. Malay K. Ganai, Praveen Yalagandula, Adnan Aziz, Andreas Kuehlmann, Vigyan Singhal
2001	J	`jnl`	Theory of safe replacements for sequential circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Vigyan Singhal, Carl Pixley, Adnan Aziz, Robert K. Brayton
2000	A*	`conf`	An Abstraction Algorithm for the Verification of Generalized C-Slow Designs. CAV Jason Baumgartner, Anson Tripp, Adnan Aziz, Vigyan Singhal, Flemming Andersen
2000	A	`conf`	Automatic Lighthouse Generation for Directed State Space Search. DATE Praveen Yalagandula, Adnan Aziz, Vigyan Singhal
2000	A*	`conf`	BDS: a BDD-based logic optimization system. DAC Congguang Yang, Maciej J. Ciesielski, Vigyan Singhal
2000	J	`jnl`	Model-checking continous-time Markov chains. ACM Trans. Comput. Log. Adnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert K. Brayton
1999	C	`conf`	BDD Decomposition for Efficient Logic Synthesis. ICCD Congguang Yang, Maciej J. Ciesielski, Vigyan Singhal
1999	J	`jnl`	Equivalences for Fair Kripke Structures. Chic. J. Theor. Comput. Sci. Adnan Aziz, Felice Balarin, Vigyan Singhal, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1999	A*	`conf`	Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists. CAV Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz
1999	J	`jnl`	Model Checking: A Hardware Design Perspective. Int. J. Softw. Tools Technol. Transf. Carl Pixley, Vigyan Singhal
1999	A	`conf`	Using Combinational Verification for Sequential Circuits. DATE Rajeev K. Ranjan, Vigyan Singhal, Fabio Somenzi, Robert K. Brayton
1998	A*	`conf`	BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. CAV Anuj Goel, Khurram Sajid, Hai Zhou, Adnan Aziz, Vigyan Singhal
1998	A	`conf`	On the optimization power of retiming and resynthesis transformations. ICCAD Rajeev K. Ranjan, Vigyan Singhal, Fabio Somenzi, Robert K. Brayton
1998	A	`conf`	Robust latch mapping for combinational equivalence checking. ICCAD Jerry R. Burch, Vigyan Singhal
1998	A	`conf`	Tight integration of combinational verification methods. ICCAD Jerry R. Burch, Vigyan Singhal
1997	J	`jnl`	Analysis of Locking Behavior in Three Real Database Systems. VLDB J. Vigyan Singhal, Alan Jay Smith
1997	A*	`conf`	Optimizing Designs Containing Black Boxes. DAC Tai-Hung Liu, Khurram Sajid, Adnan Aziz, Vigyan Singhal
1997	A	`conf`	Sequential optimisation without state space exploration. ICCAD Amit Mehrotra, Shaz Qadeer, Vigyan Singhal, Robert K. Brayton, Adnan Aziz, Alberto L. Sangiovanni-Vincentelli
1996	C	`conf`	Latch Redundancy Removal Without Global Reset. ICCD Shaz Qadeer, Robert K. Brayton, Vigyan Singhal
1996	A	`conf`	The case for retiming with explicit reset circuitry. ICCAD Vigyan Singhal, Sharad Malik, Robert K. Brayton
1996	A*	`conf`	Verifying Continuous Time Markov Chains. CAV Adnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert K. Brayton
1995	—	`conf`	Exploiting power-up delay for sequential optimization. EURO-DAC Vigyan Singhal, Carl Pixley, Adnan Aziz, Robert K. Brayton
1995	C	`conf`	Incremental methods for FSM traversal. ICCD Gitanjali Swamy, Robert K. Brayton, Vigyan Singhal
1995	A*	`conf`	It Usually Works: The Temporal Logic of Stochastic Systems. CAV Adnan Aziz, Vigyan Singhal, Felice Balarin
1995	C	`conf`	Power-Up Delay for Retiming Digital Circuits. ISCAS Vigyan Singhal, Robert K. Brayton, Carl Pixley
1995	A*	`conf`	The Validity of Retiming Sequential Circuits. DAC Vigyan Singhal, Carl Pixley, Richard L. Rudell, Robert K. Brayton
1994	A*	`conf`	Equivalences for Fair Kripke Structures. ICALP Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1994	A*	`conf`	Formula-Dependent Equivalence for Compositional CTL Model Checking. CAV Adnan Aziz, Thomas R. Shiple, Vigyan Singhal
1994	A*	`conf`	HSIS: A BDD-Based Environment for Formal Verification. DAC Adnan 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
1994	C	`conf`	Minimizing Interacting Finite State Machines: A Compositional Approach to Language to Containment. ICCD Adnan Aziz, Vigyan Singhal, Gitanjali Swamy, Robert K. Brayton
1994	A	`conf`	Multi-level synthesis for safe replaceability. ICCAD Carl Pixley, Vigyan Singhal, Adnan Aziz, Robert K. Brayton
1994	A*	`conf`	The Verifiacation Problem for Safe Replaceability. CAV Vigyan Singhal, Carl Pixley
1993	C	`conf`	Heuristic Minimization of Synchronous Relations. ICCD Vigyan Singhal, Yosinori Watanabe, Robert K. Brayton