Free PDF Hardware Design Verification: Simulation and Formal Method-Based Approaches, by William K. Lam
This is also among the reasons by obtaining the soft documents of this Hardware Design Verification: Simulation And Formal Method-Based Approaches, By William K. Lam by online. You could not need even more times to invest to see guide store as well as search for them. In some cases, you also don't locate guide Hardware Design Verification: Simulation And Formal Method-Based Approaches, By William K. Lam that you are looking for. It will waste the moment. Yet here, when you see this web page, it will be so simple to obtain and also download guide Hardware Design Verification: Simulation And Formal Method-Based Approaches, By William K. Lam It will not take many times as we specify before. You can do it while doing something else in the house or even in your office. So simple! So, are you doubt? Merely practice just what we supply right here and review Hardware Design Verification: Simulation And Formal Method-Based Approaches, By William K. Lam just what you enjoy to review!
Hardware Design Verification: Simulation and Formal Method-Based Approaches, by William K. Lam
Free PDF Hardware Design Verification: Simulation and Formal Method-Based Approaches, by William K. Lam
Invest your time even for simply few minutes to read an e-book Hardware Design Verification: Simulation And Formal Method-Based Approaches, By William K. Lam Checking out an e-book will certainly never ever decrease and waste your time to be ineffective. Reading, for some people end up being a requirement that is to do everyday such as spending quality time for consuming. Now, just what regarding you? Do you prefer to check out a book? Now, we will certainly show you a new e-book qualified Hardware Design Verification: Simulation And Formal Method-Based Approaches, By William K. Lam that could be a brand-new method to discover the expertise. When reading this publication, you can get something to consistently keep in mind in every reading time, even pointer by step.
Postures currently this Hardware Design Verification: Simulation And Formal Method-Based Approaches, By William K. Lam as one of your book collection! But, it is not in your bookcase collections. Why? This is guide Hardware Design Verification: Simulation And Formal Method-Based Approaches, By William K. Lam that is given in soft documents. You could download and install the soft data of this incredible book Hardware Design Verification: Simulation And Formal Method-Based Approaches, By William K. Lam now and also in the link offered. Yeah, various with the other individuals which look for book Hardware Design Verification: Simulation And Formal Method-Based Approaches, By William K. Lam outside, you could obtain much easier to present this book. When some people still stroll right into the establishment as well as search guide Hardware Design Verification: Simulation And Formal Method-Based Approaches, By William K. Lam, you are here just remain on your seat and also get guide Hardware Design Verification: Simulation And Formal Method-Based Approaches, By William K. Lam.
While the other people in the establishment, they are uncertain to discover this Hardware Design Verification: Simulation And Formal Method-Based Approaches, By William K. Lam straight. It could need even more times to go shop by shop. This is why we expect you this website. We will certainly offer the best means and also reference to obtain guide Hardware Design Verification: Simulation And Formal Method-Based Approaches, By William K. Lam Also this is soft file book, it will be convenience to carry Hardware Design Verification: Simulation And Formal Method-Based Approaches, By William K. Lam any place or save at home. The distinction is that you might not need relocate guide Hardware Design Verification: Simulation And Formal Method-Based Approaches, By William K. Lam location to location. You might require only copy to the other gadgets.
Now, reading this amazing Hardware Design Verification: Simulation And Formal Method-Based Approaches, By William K. Lam will certainly be less complicated unless you obtain download and install the soft data right here. Simply here! By clicking the connect to download and install Hardware Design Verification: Simulation And Formal Method-Based Approaches, By William K. Lam, you can start to get guide for your very own. Be the very first owner of this soft data book Hardware Design Verification: Simulation And Formal Method-Based Approaches, By William K. Lam Make difference for the others and obtain the very first to step forward for Hardware Design Verification: Simulation And Formal Method-Based Approaches, By William K. Lam Here and now!
The Practical, Start-to-Finish Guide to Modern Digital Design Verification
As digital logic designs grow larger and more complex, functional verification has become the number one bottleneck in the design process. Reducing verification time is crucial to project success, yet many practicing engineers have had little formal training in verification, and little exposure to the newest solutions. Hardware Design Verification systematically presents today's most valuable simulation-based and formal verification techniques, helping test and design engineers choose the best approach for each project, quickly gain confidence in their designs, and move into fabrication far more rapidly. College students will find that coverage of verification principles and common industry practices will help them prepare for jobs as future verification engineers.
Author William K. Lam, one of the world's leading experts in design verification, is a recent winner of the Chairman's Award for Innovation, Sun Microsystems' most prestigious technical achievement award. Drawing on his wide-ranging experience, 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 challenging designs. Throughout, Lam emphasizes practical examples rather than mathematical proofs; wherever advanced math is essential, he explains it clearly and accessibly.
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
- The verification cycle: failure capture, scope reduction, bug tracking, simulation data dumping, isolation of underlying causes, revision control, regression, release mechanisms, and tape-out criteria
- An accessible introduction to the mathematics and algorithms of formal verification, from Boolean functions to state-machine equivalence and graph algorithms
- Decision diagrams, equivalence checking, and symbolic simulation
- Model checking and symbolic computation
Simply put, Hardware Design Verification will help you improve and accelerate your entire verification process--from planning through tape-out--so you can get to market faster with higher quality designs.
- Sales Rank: #3360514 in Books
- Published on: 2005-03-13
- Original language: English
- Number of items: 1
- Dimensions: 9.36" h x 1.33" w x 7.20" l, 2.42 pounds
- Binding: Hardcover
- 624 pages
From the Back Cover
The Practical, Start-to-Finish Guide to Modern Digital Design Verification
As digital logic designs grow larger and more complex, functional verification has become the number one bottleneck in the design process. Reducing verification time is crucial to project success, yet many practicing engineers have had little formal training in verification, and little exposure to the newest solutions. Hardware Design Verification systematically presents today's most valuable simulation-based and formal verification techniques, helping test and design engineers choose the best approach for each project, quickly gain confidence in their designs, and move into fabrication far more rapidly. College students will find that coverage of verification principles and common industry practices will help them prepare for jobs as future verification engineers.
Author William K. Lam, one of the world's leading experts in design verification, is a recent winner of the Chairman's Award for Innovation, Sun Microsystems' most prestigious technical achievement award. Drawing on his wide-ranging experience, 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 challenging designs. Throughout, Lam emphasizes practical examples rather than mathematical proofs; wherever advanced math is essential, he explains it clearly and accessibly.
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
- The verification cycle: failure capture, scope reduction, bug tracking, simulation data dumping, isolation of underlying causes, revision control, regression, release mechanisms, and tape-out criteria
- An accessible introduction to the mathematics and algorithms of formal verification, from Boolean functions to state-machine equivalence and graph algorithms
- Decision diagrams, equivalence checking, and symbolic simulation
- Model checking and symbolic computation
Simply put, Hardware Design Verification will help you improve and accelerate your entire verification process--from planning through tape-out--so you can get to market faster with higher quality designs.
About the Author
William K. Lam is senior engineering manager at Sun Microsystems Laboratories and the 2002 winner of the Chairman's Award for Innovation, Sun's highest award for technical achievement. He holds a Ph.D. in electrical engineering and computer science from the University of California, Berkeley, where he won the 1994 David J. Sakrison Memorial Award for distinguished Ph.D. thesis.
0131433474AB02072005
Excerpt. � Reprinted by permission. All rights reserved.
Two groups of people are essential to a successful design project: a design team and a verification team. Designers usually have formal training from schools. Many colleges have comprehensive curricula on logic design, ranging from introduction to digital design to advanced computer architecture. On the contrary, most verification engineers learn their trade on the job; few were educated as verification engineers in academia, although many schools are beginning to teach verification curriculum. In fact, a majority of verification engineers started out as designers and gradually transitioned to design verification. Unlike design techniques and methodologies, a broad range of verification knowledge is loosely organized and informally acquired through hands-on experience. Furthermore, the horizon of verification has been expanding at a rapid pace: The verification landscape is evolving every six months with new techniques, standards, and tools. Nevertheless, there are principles and techniques that have survived the test of time and prove to be cornerstones of verification.
This book collects and organizes a wide range of digital design verification techniques and methodologies commonly used in industry and presents them in a systematic fashion. The focus of the book is on digital logic design and verification. It does not cover verification of circuits with mixed-signal or radio frequency components. A goal of the book is to pass the vast amount of verification knowledge to college students and engineers so that they are better prepared for the workforce, and to speed up their learning pace. It is tempting to write a ten-minute verification engineering book that lists detailed practical tips that can be used immediately on the job. These quick-fix tips often become obsolete over a short period of time. On the other hand, presenting the principles only will not be immensely useful for practicing engineers. Thus, I decided to strike a balance between the two and present verification principles as well as common practices. It is my belief that only by understanding the principles can one truly grasp the essence of the practices and be creative about using them.
To the Audience
One targeted audience for this book includes undergraduate students at the junior or senior level or first-level graduate students. I will assume that these readers have a sound understanding of a hardware descriptive language, preferably Verilog, because Verilog is used for illustration purposes in most parts of the book. In addition, a rudimentary knowledge of logic design is beneficial. This book is an introduction to design verification. Through its study, students will learn the main ideas, tools, and methodologies used in simulation-based verification, and the principles behind formal verification. The materials presented are industry tested and widely used. At the end of each chapter, problems are presented as a means of refreshing the knowledge covered in the chapter. For those who want to explore certain topics in more depth, please refer to the citations listed in the bibliography.
The other targeted audience includes verification professionals who may have some verification experience but would like to get a systematic overview of the different areas in verification and an understanding of the basic principles behind formal verification. The prerequisites for this audience are similar to those for the first group: basic design knowledge and a hardware descriptive language. The first part of the book provides a comprehensive treatment of simulation-based verification methodology and serves as a refresher or an introduction to verification professionals. For many practicing engineers, formal verification tools appear to be a form of black magic that requires a doctorate in mathematics to comprehend. This book explains these tools and the working principles of formal verification. Before formal verification is discussed in depth, Chapter 7 reviews the basics of mathematics and computer algorithms required to understand verification algorithms fully.
As with every technology, there is no substitution for hands-on experience. I encourage you to get acquainted with verification tools by running some of the examples and problems in the book or designing a project that makes use of the tools described. Free CAD tools such as Verilog simulator, test bench development aid, and waveform viewer are available at www.verilog.net/free.html.
To the Instructor
This book is comprised of two parts. The first part addresses the conventional verification strategy-simulation-based verification-whereas the second part addresses the aspects of formal verification that are well established in academia and tested in industry. The two parts are self-contained and thus can be taught independently as deemed fit.
The first part describes many verification tools. Because the specifics of these tools differ from vendor to vendor and change from time to time, only pseudo common commands are used in this book. To reinforce learning these tools, I recommend that industrial tools be part of a verification laboratory (for instance, a simulator, a waveform viewer, a coverage tool, a bug tracking system, and a revision control system). Similarly, to solidify the knowledge of formal verification, commercial formal verification tools such as an HDL linter, a model checker, and an equivalence checker should be used during lab sessions.
This book has a companion instructor's manual that contains the solutions to all the problems at the end of each chapter. The instructor's manual is available on request to the publisher.
Organization of the Book
Again, this book is intended as an introduction to design verification. I will assume that you have an understanding of basic Verilog constructs. Even though the book is written using Verilog as the hardware description language, I made an effort to present ideas independent of Verilog. When the use of Verilog is unavoidable, the simplest Verilog constructs are used to allow readers unfamiliar with the language to grasp the main ideas.
As previously stated, this book consists of two parts. The first part is devoted to simulation-based verification and the second part discusses formal verification. Simulation-based verification is by far the most widely used methodology and is a necessary requirement for all verification engineers. Formal verification is a relatively new technology and it complements simulation-based verification. I believe that to utilize a technology best, one must first be equipped with an in-depth understanding of the internal working principles of that technology. As a result, instead of just studying a verification tool's operations at the user level-a topic better suited for user manuals-this book spends much time studying the fundamental principles of simulation and formal technology.
The first part--simulation technology--consists of Chapters 2 through 6, and these chapters are ordered similar to the usual sequence of operations encountered during a simulation verification process. We start with Chapter 2, checking for static errors. These are errors that can be detected without input vectors and must be eliminated before extensive simulation begins. In Chapter 3, we study the basic architectures of simulators. Event-driven and cycle-based simulation algorithms are presented first, followed by simulator operations and applications for which we discuss cosimulation, design profiling, common simulator options, and the user interface.
Before one can begin a simulation, one must construct a test bench to host the design. Chapter 4 discusses test bench design, initialization, stimuli generation, clock network, error injection, result assessment, and test configuration. After a design is free of static errors and is embedded in a test bench, it is ready to be simulated. But how should the design be simulated? Chapter 5 addresses the issues of what to simulate and how to measure the quality of the simulation. We will look at test plan design, generation of tests for the items in the test plan, output response assessment, assertion (particularly, SystemVerilog assertions), and verification coverage.
After a circuit is simulated and the bugs are discovered, the next step is to debug problems found during simulation. Chapter 6 presents widely used debugging techniques, including case reduction, check pointing, error tracing, trace dumping, and forward and backward debugging. In addition, Chapter 6 examines the four basic views of design: source code, schematic, waveform, and finite-state machine. We then examine the scenario after the bugs are fixed. The tools and methodology discussed include the revision control system, regression mechanism, and tape-out criteria.
The second part of the book--formal verification--consists of Chapters 7 through 9. Several chapters in the first part of the book can be studied in conjunction with the second. For example, Chapters 2, 4, 5, and 6 are also applicable to formal verification.
The key to understanding formal verification lies in an understanding of the theory behind it. Chapter 7 provides the basic mathematical background for the later chapters. The materials cover Boolean functions and representations, symmetric Boolean functions, finite-state machines and the equivalence algorithm, and graphic algorithms such as depth-first search and breadth-first search, and strongly connected components.
Chapter 8 presents a survey of decision diagrams, with an emphasis on binary decision diagrams. We then review SAT (satisfiability) as an alternative to decision diagrams. The chapter concludes with a look at applications of decision diagrams and SAT in equivalence checking and symbolic simulation.
Chapter 9 presents an in-depth study of symbolic model checking. First it presents automata and computational tree logic as a means of modeling temporal behavior with fairness constraints. It then discusses algorithms for checking a model against a temporal specification. Based on the model-checking algo...
Most helpful customer reviews
3 of 3 people found the following review helpful.
Excellent and Comprehensive Book
By Husam Abu-Haimed
I have read many books on hardware verification covering simulation, emulation, and formal verification. Lam's book is the most comprehensive and the best explained. The book covers simulation, test plans, coverage metrics, and formal verification. It covers the theory and the practical issues. HDL examples of test benches for various kinds of hardware properties and behaviors are provided in the book.
12 of 12 people found the following review helpful.
good depth and breadth on both simulation and formal stuff
By Steve "RTL" Weiss
Finally a book on both simulation and formal verification with good depth. My company uses both tools on a daily basis.
I always wanted to learn about formal verification. Many books I have are too mathematical to follow. This book gives an easy intro. to formal verification and leads to the inner working of algorithms in formal verification. The sections on equivalence checking and symbolic simulation are very enlightening. Now I am more confident working with formal tools, after I know the principles behind them.
The book is great on simulation-based verification. it has a lot of practical advices and its presentation is very well organized. The chapters on coding for verification is especially practical --- I put them into use right away. The testbench chapter gives not only examples but also provides an insightful overview of testbench architecture. I skimmed through the chapter on simulators and caught a couple of good insights on the architectures of various kinds of simulators. I haven't finished the book yet but it is so far so good.
The only problem is that the book is too big, 600 pages! Some of the stuff probably should belong to another book.
In summary, I think every verification and design engineer should read it to get a running start.
6 of 7 people found the following review helpful.
good graduate level text
By W Boudville
Lam addresses an increasingly troubling problem in semiconductor design. As the transistor count keeps climbing, how to adequately simulate and test a chip?
Well, simulation comes first. The book describes design verification, where by this Lam restricts himself to functional verification. This is itself a large field, as can be appreciated by what the book presents of it. The text gives a good account of key ideas like equivalence checking and property checking. Where the basic idea is to have a redundant check that will hopefully point out any errors.
Then simulations are considered. These take up a large portion of the text. One approach is to build a comprehensive set of input test vectors. Of course, usually the number of possible combinations is too large to test all of these. But Lam points out that often groupings of the input are possible, with you only needing to test a few values from each group.
Another approach is to start from a formal set of specifications. It may be fair to say that both involve different types of complexity.
Lam also helps the reader by furnishing an extended problem set at the end of each chapter. The problems are nontrivial enough to give the reader a good workout. Very suitable as a graduate text, as well as at the professional level.
See all 5 customer reviews...
Hardware Design Verification: Simulation and Formal Method-Based Approaches, by William K. Lam PDF
Hardware Design Verification: Simulation and Formal Method-Based Approaches, by William K. Lam EPub
Hardware Design Verification: Simulation and Formal Method-Based Approaches, by William K. Lam Doc
Hardware Design Verification: Simulation and Formal Method-Based Approaches, by William K. Lam iBooks
Hardware Design Verification: Simulation and Formal Method-Based Approaches, by William K. Lam rtf
Hardware Design Verification: Simulation and Formal Method-Based Approaches, by William K. Lam Mobipocket
Hardware Design Verification: Simulation and Formal Method-Based Approaches, by William K. Lam Kindle
Hardware Design Verification: Simulation and Formal Method-Based Approaches, by William K. Lam PDF
Hardware Design Verification: Simulation and Formal Method-Based Approaches, by William K. Lam PDF
Hardware Design Verification: Simulation and Formal Method-Based Approaches, by William K. Lam PDF
Hardware Design Verification: Simulation and Formal Method-Based Approaches, by William K. Lam PDF
