Vigyan Singhal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
30
Venues
9
Active years
1993–2015
Best venue rank
A*
Where they publish
Papers
30 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | FMCAD | Compositional Reasoning Gotchas in Practice. | Chirag Agarwal, Paul Hylander, Yogesh Mahajan, Jonathan Michelson, Vigyan Singhal |
| 2011 | CAV | Using Coverage to Deploy Formal Verification in a Simulation World. | Vigyan Singhal, Prashant Aggarwal |
| 2011 | FMCAD | Planning for end-to-end formal using simulation-based coverage: | Prashant Aggarwal, Darrow Chu, Vijay Kadamby, Vigyan Singhal |
| 2008 | VLSID | Formal Verification of a Public-Domain DDR2 Controller Design. | Abhishek Datta, Vigyan Singhal |
| 2000 | CAV | An Abstraction Algorithm for the Verification of Generalized C-Slow Designs. | Jason Baumgartner, Anson Tripp, Adnan Aziz, Vigyan Singhal, Flemming Andersen |
| 2000 | DAC | BDS: a BDD-based logic optimization system. | Congguang Yang, Maciej J. Ciesielski, Vigyan Singhal |
| 2000 | DATE | Automatic Lighthouse Generation for Directed State Space Search. | Praveen Yalagandula, Adnan Aziz, Vigyan Singhal |
| 1999 | CAV | Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists. | Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz |
| 1999 | DATE | Using Combinational Verification for Sequential Circuits. | Rajeev K. Ranjan, Vigyan Singhal, Fabio Somenzi, Robert K. Brayton |
| 1999 | ICCD | BDD Decomposition for Efficient Logic Synthesis. | Congguang Yang, Maciej J. Ciesielski, Vigyan Singhal |
| 1998 | CAV | BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. | Anuj Goel, Khurram Sajid, Hai Zhou, Adnan Aziz, Vigyan Singhal |
| 1998 | ICCAD | Robust latch mapping for combinational equivalence checking. | Jerry R. Burch, Vigyan Singhal |
| 1998 | ICCAD | Tight integration of combinational verification methods. | Jerry R. Burch, Vigyan Singhal |
| 1998 | ICCAD | On the optimization power of retiming and resynthesis transformations. | Rajeev K. Ranjan, Vigyan Singhal, Fabio Somenzi, Robert K. Brayton |
| 1997 | DAC | Optimizing Designs Containing Black Boxes. | Tai-Hung Liu, Khurram Sajid, Adnan Aziz, Vigyan Singhal |
| 1997 | ICCAD | Sequential optimisation without state space exploration. | Amit Mehrotra, Shaz Qadeer, Vigyan Singhal, Robert K. Brayton, Adnan Aziz, Alberto L. Sangiovanni-Vincentelli |
| 1996 | CAV | Verifying Continuous Time Markov Chains. | Adnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert K. Brayton |
| 1996 | ICCAD | The case for retiming with explicit reset circuitry. | Vigyan Singhal, Sharad Malik, Robert K. Brayton |
| 1996 | ICCD | Latch Redundancy Removal Without Global Reset. | Shaz Qadeer, Robert K. Brayton, Vigyan Singhal |
| 1995 | CAV | It Usually Works: The Temporal Logic of Stochastic Systems. | Adnan Aziz, Vigyan Singhal, Felice Balarin |
| 1995 | DAC | The Validity of Retiming Sequential Circuits. | Vigyan Singhal, Carl Pixley, Richard L. Rudell, Robert K. Brayton |
| 1995 | ICCD | Incremental methods for FSM traversal. | Gitanjali Swamy, Robert K. Brayton, Vigyan Singhal |
| 1995 | ISCAS | Power-Up Delay for Retiming Digital Circuits. | Vigyan Singhal, Robert K. Brayton, Carl Pixley |
| 1994 | CAV | Formula-Dependent Equivalence for Compositional CTL Model Checking. | Adnan Aziz, Thomas R. Shiple, Vigyan Singhal |
| 1994 | CAV | The Verifiacation Problem for Safe Replaceability. | Vigyan Singhal, Carl Pixley |
| 1994 | DAC | HSIS: A BDD-Based Environment for Formal Verification. | 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 | ICALP | Equivalences for Fair Kripke Structures. | Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1994 | ICCAD | Multi-level synthesis for safe replaceability. | Carl Pixley, Vigyan Singhal, Adnan Aziz, Robert K. Brayton |
| 1994 | ICCD | Minimizing Interacting Finite State Machines: A Compositional Approach to Language to Containment. | Adnan Aziz, Vigyan Singhal, Gitanjali Swamy, Robert K. Brayton |
| 1993 | ICCD | Heuristic Minimization of Synchronous Relations. | Vigyan Singhal, Yosinori Watanabe, Robert K. Brayton |