This book was written with the help of a great many people who contributed their energies to the project.
I would like to start with a special acknowledgement for the encouragement and support given by my wife Anuradha and my sons Aditya and Sahil, who patiently put up with my late-night and weekend writing activities, and our family members, who kept me excited about the project.
This book would not have been possible without encouragement from Michael McNamara, Bob Widman, and Moshe Gavrielov of Verisity Design. I am also very honored to have Yoav Hollander, the inventor of the e language, write the foreword for my book.
Special thanks go to the following people, who put an intense effort into reviewing large parts of the manuscript.
Sean Smith | Cisco Systems |
Andrew Piziali | Verisity Design |
Silas McDermott | Verisity Design |
Al Scalise | Silicon Image |
Bill Schubert | ST Microelectronics |
Joe Bauer | Vitesse Semiconductor |
Mike Kavcak | SMSC |
Josh Shaw | Vitesse Semiconductor |
Cliff Cummings | Sunburst Design |
Ray Borms | LSI Logic |
Alain Pirson | Silicon Access |
Hari Kotcherlakota | Silicon Image |
Karun Menon | Broadcom |
Craig Domeny | Integrated Design and Verification |
Mike Stellfox | Verisity Design |
Avinash Agrawal | SiPackets |
Sun Kumbakonam | Broadcom |
Shanmuga Sundaram | Intel |
Rakesh Dodeja | Intel |
Will Mitchell | Correct Designs |
Kevin Schott | Correct Designs |
Rajlakshmi Hariharan | Neomagic |
Minjae Lee | Silicon Image |
Rajendra Prasad | Infineon |
Jamil Mazzawi | Verisity Design |
Mark Strickland | Verisity Design |
Dr. Paul Jackson | Edinburgh University |
Dr. Steven Levitan | Pittsburgh University |
I would like to extend a very special thank you to Andrew Piziali, who reviewed the book in great detail, and to Silas McDermott, who reviewed and fine-tuned the chapter exercises.
Thanks are also due to Karen Ochoa of Verisity Design, and Steve Homer of Homer Technical Publications, for patiently withstanding my deluge of FrameMaker questions and helping me produce the book. A special thanks to Linda Stinchfield for creating most of the diagrams in the book and also for helping me with FrameMaker formatting. Ron Bow copyedited and cleaned up the book in fine detail. Many thanks to him for his efforts.
Thanks to Jennifer Bilsey and Ric Chope for finalizing the cover design and for developing the marketing strategy for the book, and to Steve Brown for helping me with the history of e.
Thanks to Chen-Ben Asher and Yaron Kashai for helping me to get reviews from university faculty.
I appreciate the knowledgeable help provided by the Prentice Hall staff, including Bernard Goodwin, Wil Mara, and Nicholas Radhuber.
Some of the material in this book was inspired by conversations, email, and suggestions from colleagues in the industry. I have credited these sources where known, but if I have overlooked anyone, please accept my apologies.
Samir Palnitkar
Silicon Valley, California