Vigyan Singhal
发表
Adnan Aziz,
Felice Balarin,
Vigyan Singhal,
1995,
CAV.
Robert K. Brayton,
Adnan Aziz,
Carl Pixley,
1995,
Proceedings of EURO-DAC. European Design Automation Conference.
Hai Zhou,
Adnan Aziz,
Vigyan Singhal,
2003,
Formal Methods Syst. Des..
Robert K. Brayton,
Vigyan Singhal,
Ramin Hojati,
1994
.
Adnan Aziz,
Jason Baumgartner,
Vigyan Singhal,
2003,
Formal Methods Syst. Des..
Robert K. Brayton,
Sharad Malik,
Vigyan Singhal,
1996,
ICCAD 1996.
Robert K. Brayton,
Carl Pixley,
Vigyan Singhal,
1995,
Proceedings of ISCAS'95 - International Symposium on Circuits and Systems.
Adnan Aziz,
Praveen Yalagandula,
Malay K. Ganai,
2001,
J. Electron. Test..
Vigyan Singhal,
Prashant Aggarwal,
2011,
CAV.
Robert K. Brayton,
Shaz Qadeer,
Vigyan Singhal,
1996,
Proceedings International Conference on Computer Design. VLSI in Computers and Processors.
Robert K. Brayton,
Alberto Sangiovanni-Vincentelli,
Adnan Aziz,
1997,
ICCAD 1997.
Robert K. Brayton,
Vigyan Singhal,
Gitanjali Swamy,
1995,
Proceedings of ICCD '95 International Conference on Computer Design. VLSI in Computers and Processors.
Robert K. Brayton,
Yosinori Watanabe,
Vigyan Singhal,
1993,
Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93.
Adnan Aziz,
Jason Baumgartner,
Vigyan Singhal,
1999,
CAV.
Szu-Tsung Cheng,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
1994,
31st Design Automation Conference.
Jerry R. Burch,
Vigyan Singhal,
1998,
ICCAD.
Robert K. Brayton,
Adnan Aziz,
Vigyan Singhal,
1994,
Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computers and Processors.
Carl Pixley,
Vigyan Singhal,
C. Pixley,
1994,
CAV.
Daniel Kroening,
Alan J. Hu,
Koen Claessen,
2009
.
Alan Jay Smith,
Vigyan Singhal,
A. Smith,
1997,
The VLDB Journal.
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
Amit Mehrotra,
1997,
1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
Vigyan Singhal,
1993
.
Vigyan Singhal,
Alok Jain,
Jonathan Michelson,
2011,
Haifa Verification Conference.
Chirag Agarwal,
Vigyan Singhal,
Yogesh Mahajan,
2015,
2015 Formal Methods in Computer-Aided Design (FMCAD).
Adnan Aziz,
Jason Baumgartner,
Vigyan Singhal,
2000,
CAV.
Robert K. Brayton,
Carl Pixley,
Adnan Aziz,
1994,
IEEE/ACM International Conference on Computer-Aided Design.
Vigyan Singhal,
Carl PixIeyt,
1995
.
Robert K. Brayton,
Fabio Somenzi,
Vigyan Singhal,
1999,
DATE '99.
Robert K. Brayton,
Adnan Aziz,
Carl Pixley,
1994,
ICCAD '94.
Adnan Aziz,
Praveen Yalagandula,
Vigyan Singhal,
2000,
DATE '00.
Robert K. Brayton,
Carl Pixley,
Richard L. Rudell,
1995,
32nd Design Automation Conference.
Robert K. Brayton,
Adnan Aziz,
Vigyan Singhal,
2000,
TOCL.
Vigyan Singhal,
Prashant Aggarwal,
Darrow Chu,
2011,
2011 Formal Methods in Computer-Aided Design (FMCAD).
Jerry R. Burch,
Vigyan Singhal,
1998,
ICCAD.
Alberto Sangiovanni-Vincentelli,
Adnan Aziz,
Felice Balarin,
1994,
ICALP.
Abhishek Datta,
Vigyan Singhal,
2008,
21st International Conference on VLSI Design (VLSID 2008).
Vigyan Singhal,
Ramin Hojati,
1994
.
Hai Zhou,
Adnan Aziz,
Vigyan Singhal,
1998,
CAV.
Vigyan Singhal,
A Jay,
V. Singhal,
1994
.
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
Adnan Aziz,
1994,
CAV.
Robert K. Brayton,
Adnan Aziz,
Carl Pixley,
2001,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Robert K. Brayton,
Vigyan Singhal,
R. Brayton,
1996
.
Maciej J. Ciesielski,
Vigyan Singhal,
Congguang Yang,
1999,
Proceedings 1999 IEEE International Conference on Computer Design: VLSI in Computers and Processors (Cat. No.99CB37040).
Robert K. Brayton,
Adnan Aziz,
Carl Pixley,
2003,
TODE.
Adnan Aziz,
Thomas R. Shiple,
Vigyan Singhal,
1994,
CAV.
Robert K. Brayton,
Sharad Malik,
Vigyan Singhal,
1996,
Proceedings of International Conference on Computer Aided Design.
Hai Zhou,
Adnan Aziz,
Vigyan Singhal,
1998
.
Alan Jay Smith,
Vigyan Singhal,
1991
.
Robert K. Brayton,
Adnan Aziz,
Vigyan Singhal,
1996,
CAV.
Carl Pixley,
Vigyan Singhal,
C. Pixley,
1999,
International Journal on Software Tools for Technology Transfer.
Robert K. Brayton,
Fabio Somenzi,
Vigyan Singhal,
1998,
1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).
Maciej J. Ciesielski,
Vigyan Singhal,
Congguang Yang,
2000,
DAC.
Adnan Aziz,
Vigyan Singhal,
Khurram Sajid,
1997,
DAC.
Vigyan Singhal,
Robert K. BraytonDepartment,
1993
.
Robert K. Brayton,
Adnan Aziz,
Vigyan Singhal,
2016
.
Vigyan Singhal,
NamDo Kim,
Junhyuk Park,
2014
.
Robert K. Brayton,
Adnan Aziz,
Vigyan Singhal,
1993
.