Vigyan Singhal

2008
38	EE	Abhishek Datta, Vigyan Singhal: Formal Verification of a Public-Domain DDR2 Controller Design. VLSI Design 2008: 475-480
2003
37	EE	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): 222-251 (2003)
36	EE	Anuj Goel, Khurram Sajid, Hai Zhou, Adnan Aziz, Vigyan Singhal: BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. Formal Methods in System Design 22(3): 205-224 (2003)
35	EE	Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz: An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists. Formal Methods in System Design 23(1): 39-65 (2003)
2002
34		Adnan Aziz, Thomas R. Shiple, Vigyan Singhal, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Formula-Dependent Equivalence for Compositional CTL Model Checking. Formal Methods in System Design 21(2): 193-224 (2002)
2001
33	EE	Tai-Hung Liu, Adnan Aziz, Vigyan Singhal: Optimizing designs containing black boxes. ACM Trans. Design Autom. Electr. Syst. 6(4): 591-601 (2001)
32	EE	Vigyan Singhal, Carl Pixley, Adnan Aziz, Robert K. Brayton: Theory of safe replacements for sequential circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 20(2): 249-265 (2001)
31	EE	Malay K. Ganai, Praveen Yalagandula, Adnan Aziz, Andreas Kuehlmann, Vigyan Singhal: SIVA: A System for Coverage-Directed State Space Search. J. Electronic Testing 17(1): 11-27 (2001)
2000
30		Jason Baumgartner, Anson Tripp, Adnan Aziz, Vigyan Singhal, Flemming Andersen: An Abstraction Algorithm for the Verification of Generalized C-Slow Designs. CAV 2000: 5-19
29	EE	Congguang Yang, Maciej J. Ciesielski, Vigyan Singhal: BDS: a BDD-based logic optimization system. DAC 2000: 92-97
28	EE	Praveen Yalagandula, Adnan Aziz, Vigyan Singhal: Automatic Lighthouse Generation for Directed State Space Search. DATE 2000: 237-242
27	EE	Adnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert K. Brayton: Model-checking continous-time Markov chains. ACM Trans. Comput. Log. 1(1): 162-170 (2000)
1999
26	EE	Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz: Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists. CAV 1999: 72-83
25	EE	Rajeev K. Ranjan, Vigyan Singhal, Fabio Somenzi, Robert K. Brayton: Using Combinational Verification for Sequential Circuits. DATE 1999: 138-144
24	EE	Congguang Yang, Maciej J. Ciesielski, Vigyan Singhal: BDD Decomposition for Efficient Logic Synthesis. ICCD 1999: 626-
23	EE	Carl Pixley, Vigyan Singhal: Model Checking: A Hardware Design Perspective. STTT 2(3): 288-306 (1999)
1998
22		Anuj Goel, Khurram Sajid, Hai Zhou, Adnan Aziz, Vigyan Singhal: BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. CAV 1998: 244-255
21	EE	Rajeev K. Ranjan, Vigyan Singhal, Fabio Somenzi, Robert K. Brayton: On the optimization power of retiming and resynthesis transformations. ICCAD 1998: 402-407
20	EE	Jerry R. Burch, Vigyan Singhal: Robust latch mapping for combinational equivalence checking. ICCAD 1998: 563-569
19	EE	Jerry R. Burch, Vigyan Singhal: Tight integration of combinational verification methods. ICCAD 1998: 570-576
1997
18	EE	Tai-Hung Liu, Khurram Sajid, Adnan Aziz, Vigyan Singhal: Optimizing Designs Containing Black Boxes. DAC 1997: 113-116
17	EE	Amit Mehrotra, Shaz Qadeer, Vigyan Singhal, Robert K. Brayton, Adnan Aziz, Alberto L. Sangiovanni-Vincentelli: Sequential optimisation without state space exploration. ICCAD 1997: 208-215
16	EE	Vigyan Singhal, Alan Jay Smith: Analysis of Locking Behavior in Three Real Database Systems. VLDB J. 6(1): 40-52 (1997)
1996
15		Adnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert K. Brayton: Verifying Continuous Time Markov Chains. CAV 1996: 269-276
14	EE	Vigyan Singhal, Sharad Malik, Robert K. Brayton: The case for retiming with explicit reset circuitry. ICCAD 1996: 618-625
13	EE	Shaz Qadeer, Robert K. Brayton, Vigyan Singhal: Latch Redundancy Removal Without Global Reset. ICCD 1996: 432-439
1995
12		Adnan Aziz, Vigyan Singhal, Felice Balarin: It Usually Works: The Temporal Logic of Stochastic Systems. CAV 1995: 155-165
11	EE	Vigyan Singhal, Carl Pixley, Richard L. Rudell, Robert K. Brayton: The Validity of Retiming Sequential Circuits. DAC 1995: 316-321
10	EE	Vigyan Singhal, Carl Pixley, Adnan Aziz, Robert K. Brayton: Exploiting power-up delay for sequential optimization. EURO-DAC 1995: 54-59
9	EE	Gitanjali Swamy, Robert K. Brayton, Vigyan Singhal: Incremental methods for FSM traversal. ICCD 1995: 590-
8		Vigyan Singhal, Robert K. Brayton, Carl Pixley: Power-Up Delay for Retiming Digital Circuits. ISCAS 1995: 566-569
1994
7		Vigyan Singhal, Carl Pixley: The Verifiacation Problem for Safe Replaceability. CAV 1994: 311-323
6		Adnan Aziz, Thomas R. Shiple, Vigyan Singhal: Formula-Dependent Equivalence for Compositional CTL Model Checking. CAV 1994: 324-337
5	EE	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: 454-459
4		Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Equivalences for Fair Kripke Structures. ICALP 1994: 364-375
3	EE	Carl Pixley, Vigyan Singhal, Adnan Aziz, Robert K. Brayton: Multi-level synthesis for safe replaceability. ICCAD 1994: 442-449
2		Adnan Aziz, Vigyan Singhal, Gitanjali Swamy, Robert K. Brayton: Minimizing Interacting Finite State Machines: A Compositional Approach to Language to Containment. ICCD 1994: 255-261
1993
1		Vigyan Singhal, Yosinori Watanabe, Robert K. Brayton: Heuristic Minimization of Synchronous Relations. ICCD 1993: 428-433

Coauthor Index

1	Flemming Andersen	[30]
2	Adnan Aziz	[2] [3] [4] [5] [6] [10] [12] [15] [17] [18] [22] [26] [27] [28] [30] [31] [32] [33] [34] [35] [36] [37]
3	Felice Balarin	[4] [5] [12]
4	Jason Baumgartner	[26] [30] [35]
5	Robert K. Brayton	[1] [2] [3] [4] [5] [8] [9] [10] [11] [13] [14] [15] [17] [21] [25] [27] [32] [34] [37]
6	Jerry R. Burch	[19] [20]
7	Szu-Tsung Cheng	[5]
8	Maciej J. Ciesielski	[24] [29]
9	Abhishek Datta	[38]
10	Malay K. Ganai	[31]
11	Anuj Goel	[22] [36]
12	Tamir Heyman	[26] [35]
13	Ramin Hojati	[5]
14	Timothy Kam	[5]
15	Sriram C. Krishnan	[5]
16	Andreas Kuehlmann	[31]
17	Tai-Hung Liu	[18] [33]
18	Sharad Malik	[14]
19	Amit Mehrotra	[17]
20	Carl Pixley	[3] [7] [8] [10] [11] [23] [32] [37]
21	Shaz Qadeer	[13] [17] [37]
22	Rajeev K. Ranjan	[5] [21] [25]
23	Richard L. Rudell	[11]
24	Khurram Sajid	[18] [22] [36]
25	Alberto L. Sangiovanni-Vincentelli	[4] [5] [17] [34]
26	Kumud Sanwal	[15] [27]
27	Thomas R. Shiple	[5] [6] [34]
28	Alan Jay Smith	[16]
29	Fabio Somenzi	[21] [25]
30	Gitanjali Swamy	[2] [9]
31	Serdar Tasiran	[5]
32	Anson Tripp	[30]
33	Huey-Yih Wang	[5]
34	Yosinori Watanabe	[1]
35	Praveen Yalagandula	[28] [31]
36	Congguang Yang	[24] [29]
37	Hai Zhou	[22] [36]

Colors in the list of coauthors