Books about Verification from Amazon.com

SystemVerilog for Verification, Second Edition provides practical information for hardware and software engineers using the SystemVerilog language to verify electronic designs. The author explains methodology concepts for constructing testbenches that are modular and reusable. The book includes extensive coverage of the SystemVerilog 3.1a constructs such as classes, program blocks, randomization, assertions, and functional coverage. It also reviews SystemVerilog 3.0 topics such as interfaces and data types.

This second edition contains a new chapter that covers programs and interfaces as well as chapters with updated information on directed testbench and OOP, layered, and random testbench for an ATM switch. This edition also includes a new chapter that covers “Interfacing to C” and many new and improved examples and explanations.

For hardware engineers, the book has several chapters with detailed explanations of Object Oriented Programming based on years of teaching OOP to hundreds of students. For software engineers, there is a wealth of information on testbenches, multithreaded code, and interfacing to hardware designs. The reader only needs to know the Verilog 1995 standard.

"The complete book that covers verification concepts and use of system verilog in Verification, taking your from an easy start to advanced concepts with ease.

Paul D. Franzon, Alumni Distinguished Professor of ECE, North Carolina State University"

.
Price: $99.55 [Notify me when price goes down.]

Deadly Arsenals provides the most up-to-date and comprehensive assessment available on global proliferation dangers, with a critical assessment of international enforcement efforts. An invaluable resource for academics, policymakers, students, and the media, this atlas includes strategic and historical analysis; maps, charts, and graphs of the spread of nuclear, chemical, and biological weapons and missile delivery systems; descriptions of the weapons and regimes—and policies to control them; and data on countries that have, want, or have given up weapons of mass destruction. The new edition addresses the recent, dramatic developments in Iran, Iraq, Libya, North Korea, and the nuclear black market, analyzing strategic and policy implications. A Choice outstanding academic title from one of the premier nonproliferation research teams..
Price: $26.95 [Notify me when price goes down.]

Within the last 18 months more than 40,000 people worldwide have taken the International Software Testing Qualifications Board (ISTQB) Foundations Level exam, 10,000 alone in the last 4 months. So, where can all these people go to learn what they need to know in order to pass the exam? Now they can go to Software Testing Foundations 2nd Edition, from Rocky Nook's new Computing division.

Professional testing of software has become an increasingly important task requiring a profound knowledge of testing techniques. The ISTQB has developed a universally accepted, international, qualification scheme aimed at software and system testing professionals, and has created the syllabi and tests for the "Certified Tester".

With authors who are among the founders of the ISTQB, this improved, updated, newly edited 2nd Edition covers the "Foundations Level" (i.e., entry level), and teaches the most important methods of software testing. It is designed for self-study and provides the necessary knowledge to pass the Certified Tester - Foundations Level exam as defined by the ISTQB. It also covers more recent topics, such as test-first approach and risk-based testing..
Price: $29.26 [Notify me when price goes down.]

Validation describes the procedures used to analyze pharmaceutical products so that the data generated will comply with the requirements of regulatory bodies of the US, Canada, Europe and Japan. Calibration of Instruments describes the process of fixing, checking or correcting the graduations of instruments so that they comply with those regulatory bodies. This book provides a thorough explanation of both the fundamental and practical aspects of biopharmaceutical and bioanalytical methods validation. It teaches the proper procedures for using the tools and analysis methods in a regulated lab setting. Readers will learn the appropriate procedures for calibration of laboratory instrumentation and validation of analytical methods of analysis. These procedures must be executed properly in all regulated laboratories, including pharmaceutical and biopharmaceutical laboratories, clinical testing laboratories (hospitals, medical offices) and in food and cosmetic testing laboratories..
Price: $84.74 [Notify me when price goes down.]

Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, or request-response properties. This automated technique for verification and debugging has developed into a mature and widely used approach with many applications. Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field.

The book begins with the basic principles for modeling concurrent and communicating systems, introduces different classes of properties (including safety and liveness), presents the notion of fairness, and provides automata-based algorithms for these properties. It introduces the temporal logics LTL and CTL, compares them, and covers algorithms for verifying these logics, discussing real-time systems as well as systems subject to random phenomena. Separate chapters treat such efficiency-improving techniques as abstraction and symbolic manipulation. The book includes an extensive set of examples (most of which run through several chapters) and a complete set of basic results accompanied by detailed proofs. Each chapter concludes with a summary, bibliographic notes, and an extensive list of exercises of both practical and theoretical nature..
Price: $44.32 [Notify me when price goes down.]

Functional verification remains one of the single biggest challenges in the development of complex system-on-chip (SoC) devices Despite the introduction of successive new technologies, the gap between design capability and verification confidence continues to widen. The biggest problem is that these diverse new technologies have led to a proliferation of verification point tools, most with their own languages and methodologies.

Fortunately, a solution is at hand. SystemVerilog is a unified language that serves both design and verification engineers by including RTL design constructs, assertions and a rich set of verification constructs. SystemVerilog is an industry standard that is well supported by a wide range of verification tools and platforms. A single language fosters the development of a unified simulation-based verification tool or platform.

Consolidation of point tools into a unified platform and convergence to a unified language enable the development of a unified verification methodology that can be used on a wide range of SoC projects. ARM and Synopsys have worked together to define just such a methodology in the Verification Methodology Manual for SystemVerilog. This book is based upon best verification practices by ARM, Synopsys and their customers.

Verification Methodology Manual for SystemVerilog is a blueprint for verification success, guiding SoC teams in building a reusable verification environment taking full advantage of design-for-verification techniques, constrained-random stimulus generation, coverage-driven verification, formal verification and other advanced technologies to help solve their current and future verification problems.

This book is appropriate for anyone involved in the design or verification of a complex chip or anyone who would like to know more about the capabilities of SystemVerilog. Following the Verification Methodology Manual for SystemVerilog will give SoC development teams and project managers the confidence needed to tape out a complex design, secure in the knowledge that the chip will function correctly in the real world.

.
Price: $67.78 [Notify me when price goes down.]

SystemVerilog language consists of three very specific areas of constructs -- design, assertions and testbench   Assertions add a whole new dimension to the ASIC verification process.  Assertions provide a better way to do verification proactively.  Traditionally, engineers are used to writing verilog test benches that help simulate their design.  Verilog is a procedural language and is very limited in capabilities to handle the complex Asic's built today.  SystemVerilog assertions (SVA) are a declarative and temporal language that provides excellent control over time and parallelism.  This provides the designers a very strong tool to solve their verification problems.  While the language is built solid, the thinking is very different from the user's perspective when compared to standard verilog language.  The concept is still very new and there is not enough expertise in the field to adopt this methodology and be successful.  While the language has been defined very well, there is no practical guide that shows how to use the language to solve real verification problems.  This book will be the practical guide that will help people to understand this new methodology.

"Today's SoC complexity coupled with time-to-market and first-silicon success pressures make assertion based verification a requirement and this book points the way to effective use of assertions."

Satish S. Iyengar, Director, ASIC Engineering, Crimson Microsystems, Inc.

"This book benefits both the beginner and the more advanced users of SystemVerilog Assertions (SVA).  First by introducing the concept of Assertion Based Verification (ABV) in a simple to understand way, then by discussing the myriad of ideas in a broader scope that SVA can accommodate.  The many real life examples, provided throughout the book, are especially useful."

Irwan Sie, Director, IC Design, ESS Technology, Inc.

"SystemVerilog Assertions is a new language that can find and isolate bugs early in the design cycle.  This book shows how to verify complex protocols and memories using SVA with seeral examples.  This book is a good reference guide for both design and verification engineers."

Derick Lin, Senior Director, Engineering, Airgo Networks, Inc.

.
Price: $104.57 [Notify me when price goes down.]

NOTE: Examples in this book can be downloaded from SiMantis Inc. website

BACK-COVER QUOTES:

"This detailed, step-by-step guide provides a thorough introduction to SystemVerilog and the Open Verification Methodology (OVM). With many examples and clear descriptions, it should be helpful to anyone involved in IC functional verification."

Richard Goering, Editor-in-Chief , SCDsource

 

 "Dr. Iman brings together all the essential elements to understand the use and application of OVM. Those with limited SystemVerilog knowledge will find Step-by-Step Functional Verification with SystemVerilog and OVM offers a complete introduction to SystemVerilog, and the SystemVerilog-savvy will find this a comprehensive OVM reference. This book has everything design and verification engineers would want to know to apply OVM to their most pressing challenges."

Dennis Brophy , Director of Strategic Business Development , Mentor Graphics

 

"The author of this book is well known in the design community as a leader in the verification space. SystemVerilog has provided a major step in our capability to verify our designs, especially in today’s world of 40 million gate SoCs. The combination has produced a very thorough step by step guide to the latest in verification methodology."

Gary Smith, Chief Analyst, Gary Smith EDA

 

"The Open Verification Methodology (OVM) is one of the most quickly and widely adopted new solutions ever for verifying complex chips. This book walks the reader through the OVM as well as the SystemVerilog language constructs upon which it is built. The breadth of Step-by-Step Functional Verification with SystemVerilog and OVM and its pragmatic approach make it an invaluable resource for both novice and experienced verification engineers."

Ted Vucurevich, CTO, Cadence

.
Price: $139.00 [Notify me when price goes down.]

A complete guide to managing technical issues and procuring third-party resources

The Wiley Guides to the Management of Projects address critical, need-to-know information that will help professionals successfully manage projects in most businesses and help students learn the best practices of the industry. They contain not only well-known and widely used basic project management practices but also the newest and most cutting-edge concepts in the broader theory and practice of managing projects.

This fourth volume in the series offers expert guidance on the supply chain and delivery cycle of the project, as well as the technology management issues that are involved such as modeling, design, and verification. Technology within the context of the management of projects involves not so much actually doing the "technical" elements of the project as managing the processes and practices by which projects are transformed from concepts into actual entities-and doing this effectively within the time, cost, strategic, and other constraints on the project. The contributors to this volume, among the most recognized international leaders in the field, guide you through the key life-cycle issues that define the project, ensure its viability, manage requirements, and track changes-highlighting the key steps along the way in transforming and realizing the technical definition of the project.

Complete your understanding of project management with these other books in The Wiley Guides to the Management of Projects series:
*

The Wiley Guide to Project Control
*

The Wiley Guide to Project, Program & Portfolio Management
*

The Wiley Guide to Project Organization & Project Management Competencies.
Price: $26.72 [Notify me when price goes down.]