|
|
马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。
您需要 登录 才可以下载或查看，没有账号？注册
x
http://www.amazon.com/Hardware-Design-Verification-Method-Based-Semiconductor/dp/0131433474
Editorial Reviews Product Description
ThePractical, Start-to-Finish Guide to Modern Digital Design VerificationAs digital logic designs grow larger and more complex, functionalverification has become the number one bottleneck in the designprocess. Reducing verification time is crucial to project success, yetmany practicing engineers have had little formal training inverification, and little exposure to the newest solutions. HardwareDesign Verification systematically presents today's most valuablesimulation-based and formal verification techniques, helping test anddesign engineers choose the best approach for each project, quicklygain confidence in their designs, and move into fabrication far morerapidly. College students will find that coverage of verificationprinciples and common industry practices will help them prepare forjobs as future verification engineers. Author William K. Lam, one ofthe world's leading experts in design verification, is a recent winnerof the Chairman's Award for Innovation, Sun Microsystems' mostprestigious technical achievement award.Drawing on his wide-rangingexperience, he introduces the foundational principles of verification,presents traditional techniques that have survived the test of time,and introduces emerging techniques for today's most challengingdesigns. Throughout, Lam emphasizes practical examples rather thanmathematical proofs; wherever advanced math is essential, he explainsit clearly and accessibly.Coverage includes *Simulation-based versusformal verification: advantages, disadvantages, and tradeoffs*Codingfor verification: functional and timing correctness, syntactical andstructure checks, simulation performance, and more*Simulatorarchitectures and operations, including event-driven, cycle-based,hybrid, and hardware-based simulators*Testbench organization, design,and tools: creating a fast, efficient test environment*Test scenariosand assertion: planning, test cases, test generators, commercial andVerilog assertions, and more*Ensuring complete coverage, includingcode, parameters, functions, items, and cross-coverage*The verificationcycle: failure capture, scope reduction, bug tracking, simulation datadumping, isolation of underlying causes, revision control, regression,release mechanisms, and tape-out criteria*An accessible introduction tothe mathematics and algorithms of formal verification, from Booleanfunctions to state-machine equivalence and graph algorithms*Decisiondiagrams, equivalence checking, and symbolic simulation*Model checkingand symbolic computation Simply put, Hardware Design Verification willhelp you improve and accelerate your entire verification process--fromplanning through tape-out--so you can get to market faster with higherquality designs.
From the Back Cover
The Practical, Start-to-Finish Guide to Modern Digital Design Verification
Asdigital logic designs grow larger and more complex, functionalverification has become the number one bottleneck in the designprocess. Reducing verification time is crucial to project success, yetmany practicing engineers have had little formal training inverification, and little exposure to the newest solutions. Hardware Design Verificationsystematically presents today's most valuable simulation-based andformal verification techniques, helping test and design engineerschoose the best approach for each project, quickly gain confidence intheir designs, and move into fabrication far more rapidly. Collegestudents will find that coverage of verification principles and commonindustry practices will help them prepare for jobs as futureverification engineers.
Author William K. Lam, one of the world'sleading experts in design verification, is a recent winner of theChairman's Award for Innovation, Sun Microsystems' most prestigioustechnical achievement award. Drawing on his wide-ranging experience, heintroduces the foundational principles of verification, presentstraditional techniques that have survived the test of time, andintroduces emerging techniques for today's most challenging designs.Throughout, Lam emphasizes practical examples rather than mathematicalproofs; wherever advanced math is essential, he explains it clearly andaccessibly.
Coverage includes
- Simulation-based versus formal verification: advantages, disadvantages, and tradeoffs
- Coding for verification: functional and timing correctness, syntactical and structure checks, simulation performance, and more
- Simulator architectures and operations, including event-driven, cycle-based, hybrid, and hardware-based simulators
- Testbench organization, design, and tools: creating a fast, efficient test environment
- Test scenarios and assertion: planning, test cases, test generators, commercial and Verilog assertions, and more
- Ensuring complete coverage, including code, parameters, functions, items, and cross-coverage
- Theverification cycle: failure capture, scope reduction, bug tracking,simulation data dumping, isolation of underlying causes, revisioncontrol, regression, release mechanisms, and tape-out criteria
- Anaccessible introduction to the mathematics and algorithms of formalverification, from Boolean functions to state-machine equivalence andgraph algorithms
- Decision diagrams, equivalence checking, and symbolic simulation
- Model checking and symbolic computation
Simply put, Hardware Design Verificationwill help you improve and accelerate your entire verificationprocess--from planning through tape-out--so you can get to marketfaster with higher quality designs.
See all Editorial Reviews
Product Details - Hardcover: 624 pages
- Publisher: Prentice Hall PTR (March 13, 2005)
- Language: English
- ISBN-10: 0131433474
- ISBN-13: 978-0131433472
- Product Dimensions: 9.4 x 7.2 x 1.3 inches
- Shipping Weight: 2.5 pounds (View shipping rates and policies)
[ 本帖最后由 chocobocn 于 2008-11-20 22:08 编辑 ] |
|
/2 
eetop公众号
创芯大讲堂
创芯人才网
发表于 2008-11-20 22:07:01
楼主
