Shishpal Rawat

Intel (United Kingdom) — United Kingdom

Engineering · Physical Sciences

2h-index10citations14works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Manufacturing Process and Optimization(4), Product Development and Customization(3), Formal Methods in Verification(2), Embedded Systems Design Techniques(2), Flexible and Reconfigurable Manufacturing Systems(2)

Publications14 total

Guest Editors' Introduction: Special Issue on EDA Industry Standards
IEEE Design & Test of Computers·2012· 1 cited
IEEE COUNCIL ON ELECTRONIC DESIGN AUTOMATION
2010
Session details: Making manufacturing work for you
2007
Session details: Session 26: panel
2006
Were the good old days all that good?
2004
Formal verification - prove it or pitch it
2003· 2 cited
COT - customer owned trouble
2003
PANEL COT - Customer Owned Trouble
2003
Formal verification - prove it or pitch it
Proceedings of the 40th conference on Design automation - DAC '03·2003
COT - customer owned trouble
Proceedings of the 40th conference on Design automation - DAC '03·2003
Formal verification methods
Proceedings - ACM IEEE Design Automation Conference·2002· 1 cited
Formal verification methods
Proceedings - ACM IEEE Design Automation Conference·2002
A Case Study of Two-Stage Fault Location
1992· 5 cited
A report on the seventeenth international symposium for fault tolerant computing Pittsburgh, PA
ACM SIGDA Newsletter·1987· 1 cited

Frequent Co-authors

Bob Dahlberg(3), Jen Bernier(3), Gina Gloski(3), Paul Ruddy(3), Naveed A. Sherwani(3), Ronnie Vasishta(3), William H. Joyner(3), Rajesh K. Gupta(2), Sandeep K. Shukla(2), Brian P. Bailey(2), D.K. Beece(2), Carl Pixley(2), Fabio Somenzi(2), David L. Dill(2), Nate James(2), Gérard Berry(2), Limor Fix(2), Harry Foster(2), Gunnar Stålmarck(2), Curt Widdoes(2)