Shishpal Rawat

According to our database, Shishpal Rawat authored at least 12 papers between 1986 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2006

DFM: where's the proof of value?

Shishpal Rawat, Raul Camposano, Andrew B. Kahng, Joseph Sawicki, Mike Gianfagna, Naeem Zafar, Atul Sharan

Proceedings of the 43rd Design Automation Conference, 2006

2004

Were the good old days all that good?: EDA then and now.

Shishpal Rawat, William H. Joyner Jr., John A. Darringer, Daniel Gajski, Pat O. Pistilli, Hugo De Man, Carl Harris, James Solomon

Proceedings of the 41th Design Automation Conference, 2004

2003

Introduction.

Shishpal Rawat, Hans-Joachim Wunderlich

ACM Trans. Design Autom. Electr. Syst., 2003

Formal verification - prove it or pitch it.

Rajesh K. Gupta, Shishpal Rawat, Sandeep K. Shukla, Brian Bailey, Daniel K. Beece, Masahiro Fujita, Carl Pixley, John O'Leary, Fabio Somenzi

Proceedings of the 40th Design Automation Conference, 2003

COT - customer owned trouble.

Robert Dahlberg, Shishpal Rawat, Jen Bernier, Gina Gloski, Aurangzeb Khan, Kaushik Patel, Paul Ruddy, Naveed A. Sherwani, Ronnie Vasishta

Proceedings of the 40th Design Automation Conference, 2003

2002

Formal verification methods: getting around the brick wall.

David L. Dill, Nate James, Shishpal Rawat, Gérard Berry, Limor Fix, Harry Foster, Rajeev K. Ranjan, Gunnar Stålmarck, Curt Widdoes

Proceedings of the 39th Design Automation Conference, 2002

2001

Panel: The Next HDL: If C++ is the Answer, What was the Question?

Rajesh K. Gupta, Shishpal Rawat, Ingrid Verbauwhede, Gérard Berry, Ramesh Chandra, Daniel Gajski, Kris Konigsfeld, Patrick Schaumont

Proceedings of the 38th Design Automation Conference, 2001

2000

EDA challenges facing future microprocessor design.

T. Karn, Shishpal Rawat, Desmond Kirkpatrick, Rabindra K. Roy, Gregory S. Spirakis, Naveed A. Sherwani, Craig Peterson

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000

1991

Automated diagnosis of VLSI failures.

Paul G. Ryan, Shishpal Rawat, W. Kent Fuchs

Proceedings of the 9th IEEE VLSI Test Symposium (VTS'91), 1991

Two-Stage Fault Location.

Paul G. Ryan, Shishpal Rawat, W. Kent Fuchs

Proceedings of the Proceedings IEEE International Test Conference 1991, 1991

1986

Regular Area-Time Efficient Carry-Lookahead Adders.

Tin-Fook Ngai, Mary Jane Irwin, Shishpal Rawat

J. Parallel Distributed Comput., 1986

Design and implementation of real time video processor.

Shishpal Rawat, Poras T. Balsara, Mary Jane Irwin, Tom Mackowiak

Proceedings of the IEEE International Conference on Acoustics, 1986