Professional Verification

Sir Isaac Newton once remarked, “If I have seen further [than certain othermen], it is by standing upon the shoulders of giants.” This book is based onthe experiences and hard work of many giants in the design and verificaTIon ofmodern ICs. It would be impossible to list all the individuals who have contributedto the collected knowledge contained in this book, but it would befoolish to not acknowledge their contribuTIon.I have encountered many “giants” in my career who have taken the TImeand had the paTIence to teach me much of what is contained in this text. Forthat I would like to acknowledge the friends and co-workers I have workedwith at Sun Microsystems, 0-In Design Automation, StratumOne Communicationsand Cisco Systems. Special thanks to Willis Hendly, David Kaffine,James Antonellis, Curtis Widdoes, and Richard Ho.This book is the product of the efforts of many people at Cadence DesignSystems, and I would like to acknowledge the following for their contributionsand efforts in reviewing the text: Andreas Meyer, Grant Martin, LeonardDrucker, Neyaz Khan, Phu Huynh, Lisa Piper, and the entire MethodologyEngineering team.I want to acknowledge Linda Fogel for her tireless and professional editing,along with Kristen Willett, Kristin Lietzke, and Gloria Kreitman inCadence’s marketing communications group.A special acknowledgement to Paul Estrada for providing me the opportunityand time to write this book and for showing faith in me when even I wasready to give up. One could not ask for a better mentor or friend.Finally, I would like to acknowledge the true giants of my life, my parents,Eleanor and Gary Wilcox, for their love and support, and for teaching me thenobility of education.