Vigyan Singhal

Publication Activity (10 Years)

Years Active: 1993-2015
Publications (10 Years): 1

Top Topics

Rule Based Reasoning

Inference Engine

Top Venues

Publications

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