|
|
|||
|
||||
OverviewIf you survey hardware design groups, you will learn that between 60% and 80% of their effort is dedicated to verification. This may seem unusually large, but I include in ""verification"" all debugging and correctness checking activities, not just writing and running testbenches. Every time a hardware designer pulls up a waveform viewer, he or she performs a verification task. With today’s ASIC and FPGA sizes and geometries, getting a design to fit and run at speed is no longer the main challenge. It is to get the right design, working as intended, at the right time. Unlike synthesizable coding, there is no particular coding style nor language required for verification. The freedom of using any l- guage that can be interfaced to a simulator and of using any features of that language has produced a wide array of techniques and approaches to verification. The continued absence of constraints and historical shortage of available expertise in verification, c- pled with an apparent under-appreciation of and under-investment in the verification function, has resulted in several different ad hoc approaches. The consequences of an informal, ill-equipped and understaffed verification process can range from a non-functional design requiring several re-spins, through a design with only a s- set of the intended functionality, to a delayed product shipment. Full Product DetailsAuthor: Janick BergeronPublisher: Springer-Verlag New York Inc. Imprint: Springer-Verlag New York Inc. Edition: Softcover reprint of hardcover 1st ed. 2006 Dimensions: Width: 15.50cm , Height: 2.20cm , Length: 23.50cm Weight: 0.670kg ISBN: 9781441939784ISBN 10: 1441939784 Pages: 412 Publication Date: 29 October 2010 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Out of print, replaced by POD We will order this item for you from a manufatured on demand supplier. Table of ContentsReviewsFrom the reviews: The book provides verification engineers with an introduction to all elements of a modern, scalable verification environment and a foundation for adopting the advanced verification methodology detailed in the Verification Methodology Manual for SystemVerilog ... . 'Mr. Bergeon has once again written a book that is a standard-bearer for engineers tasked with verifying RTL and systems design' ... . the strategies and methodologies put forth by Mr. Bergeron has become more important to the success of every verification project. (EE Times, April, 2006) From the reviews: The book provides verification engineers with an introduction to all elements of a modern, scalable verification environment and a foundation for adopting the advanced verification methodology detailed in the Verification Methodology Manual for SystemVerilog ! . 'Mr. Bergeon has once again written a book that is a standard-bearer for engineers tasked with verifying RTL and systems design' ! . the strategies and methodologies put forth by Mr. Bergeron has become more important to the success of every verification project. (EE Times, April, 2006) From the reviews: The book provides verification engineers with an introduction to all elements of a modern, scalable verification environment and a foundation for adopting the advanced verification methodology detailed in the Verification Methodology Manual for SystemVerilog ... . 'Mr. Bergeon has once again written a book that is a standard-bearer for engineers tasked with verifying RTL and systems design' ... . the strategies and methodologies put forth by Mr. Bergeron has become more important to the success of every verification project. (EE Times, April, 2006) Author InformationTab Content 6Author Website:Countries AvailableAll regions |