Practical Design Verification by Dhiraj K. Pradhan, Ian G. Harris

Practical Design Verification



Download Practical Design Verification




Practical Design Verification Dhiraj K. Pradhan, Ian G. Harris
Language: English
Page: 288
Format: pdf
ISBN: 0521859727, 9780511650918
Publisher:

Book Description

Improve design efficiency and reduce costs with this practical guide to formal and simulation-based functional verification. Giving you a theoretical and practical understanding of the key issues involved, expert authors explain both formal and simulation-based techniques. You get insights into practical issues including hardware verification languages (HVLs) and system-level debugging.

About the Author

Diraj K. Pradhan is Chair of Computer Science at the University of Bristol, UK. He previously held the COE Endowed Chair Professorship in Computer Science at Texas A & M University, also serving as Founder of the Laboratory of Computer Systems there. He has also worked as a Staff Engineer at IBM, and served as the Founding CEO of Reliable Computer Technology, Inc. A Fellow of ACM, the IEEE, and the Japan Society of Promotion of Science, Professor Pradhan is the recipient of a Humboldt Prize, Germany, and has numerous major technical publications spanning more than 30 years.

Ian G. Harris is Associate Professor in the Department of Computer Science, University of California, Irvine. He is an Executive Committee Member of the IEEE Design Automation Technical Committee (DATC) and Chair of the DATC Embedded Systems Subcommittee, as well as Chair of the IEEE Test Technology Technical Committee (TTTC) and Publicity Chair of the IEEE TTTC Tutorials and Education Group. His research interests involve the testing and validation of hardware and software systems.

MORE EBOOKS:
How to Build a Great Team download pdf
Download ebook: Eyewitness Italian Travel Phrasebook
Arguing About War download pdf
The New Jerusalem Bible download pdf
Understanding NMR spectroscopy download ebook







Tags: Practical Design Verification ebook pdf djvu epub
Practical Design Verification download pdf epub djvu
Download Practical Design Verification free ebook pdf
Read Practical Design Verification online book
Practical Design Verification cheap ebook for kindle and nook
Practical Design Verification download book
Dhiraj K. Pradhan, Ian G. Harris ebooks
Practical Design Verification download pdf rapidshare mediafire fileserve 4shared torrent