Creating Assertion-Based IP - Adam C. Krolnik,Harry D. Foster
-25% koodilla BOOKS
Toimitus 17-23 arkipäivässä
30 päivän palautusoikeus
Assertion-based IP is much more than a comprehensive set of related assertions. It is a full-fledged reusable and configurable transaction-level verification component, which is used to detect both interesting and incorrect behaviors. Upon detecting interesting or incorrect behavior, the assertion-based IP alerts other verification components within a simulation environment, which are responsible for taking ... Täydellinen kuvaus
Saatat myös pitää
TOP
If Anyone Builds It, Everyone Dies: The Case Against Superintelligent AI
Eliezer Yudkowsky, Nate Soares
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
We Are Not Machines: The Fight for the Future of Work
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
Open Circuits: The Inner Beauty of Electronic Components
Eric Schlaepfer, Windell Oskay
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
Get started with MicroPython on Raspberry Pi Pico: The Official Raspberry Pi Pico Guide
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
Practical Electronics for Inventors
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
Fundamentals of Aerodynamics ISE
Christopher Cadou, John D. Anderson
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
Nucleo Boards Programming with the STM32CubeIDE: Hands-on in more than 50 projects
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
INCOSE Systems Engineering Handbook
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
Black Holes: The Key to Understanding the Universe
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
KiCad Like A Pro - Fundamentals and Projects: Getting started with the world's best open-source PCB tool
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
Make: Electronics: Learning by Discovery: A hands-on primer for the new electronics enthusiast
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
Data-Driven Science and Engineering: Machine Learning, Dynamical Systems, and Control
Steven L. Brunton, J. Nathan Kutz
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
Flowers For Algernon: A Modern Literary Classic
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
Foundations of Flavor: The Noma Guide to Fermentation: Including Step-By-Step Information on Making and Cooking with: Koji, Kombuchas, Shoyus, Misos, Vinegars, Garums, Lacto-Ferments and black Fruits Vegetables
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
Professional SMD Assembly: Practical Low-Cost Methods for Reliable PCB Production
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
Digital Design and Computer Architecture, RISC-V Edition
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
Blood in the Machine: The Origins of the Rebellion Against Big Tech
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
Mastering the Arduino Uno R4: Programming and Projects for the Minima and WiFi
-25% koodilla BOOKS
Toimittajalla varastossa
Kuvaus
Assertion-based IP is much more than a comprehensive set of related assertions. It is a full-fledged reusable and configurable transaction-level verification component, which is used to detect both interesting and incorrect behaviors. Upon detecting interesting or incorrect behavior, the assertion-based IP alerts other verification components within a simulation environment, which are responsible for taking appropriate action. The focus of this book is to bring the assertion discussion up to a higher level and introduce a process for creating effective, reusable, assertion-based IP, which easily integrates with the user¿s existing verification environment, in other words the testbench infrastructure. The guiding principles promoted in this book when creating an assertion-based IP monitor are: modularity¿assertion-based IP should have a clear separation between detection and action clarity¿assertion-based IP should be written initially focusing on capturing intent (versus optimizations) A unique feature of this book is the fully worked out, detailed examples. The concepts presented in the book are drawn from the authors¿ experience developing assertion-based IP, as well as general assertion-based techniques. Creating Assertion-Based IP is an important resource for design and verification engineers. From the Foreword: Creating Assertion-Based IP "¿reduces to process the creation of one of the most valuable kinds of VIP: assertion-based VIP¿This book will serve as a valuable reference for years to come." Andrew Piziali, Sr. Design Verification Engineer Co-Author, ESL Design and Verification: A Prescription for Electronic System Level Methodology Author, Functional Verification Coverage Measurement and Analysis
Lisätietoja
| Kirjoittaja | Adam C. Krolnik, Harry D. Foster |
|---|---|
| Julkaisija | Springer US |
| Series | Integrated Circuits and Systems |
| Julkaisuvuosi | 2007 |
| Kannen tyyppi | Kovakantinen |
| EAN | 9780387366418 |