The e Hardware Verification Language - Sunita Joshi,Sasan Iman
-40% ar kodu BOOKS
Piegāde 17-23 darba dienu laikā
30 dienu atgriešanas politika
I am glad to see this new book on the e language and on verification. I am especially glad to see a description of the e Reuse Methodology (eRM). The main goal of verification is, after all, finding more bugs quicker using given resources, and verification reuse (module-to-system, old-system-to-new-system etc. ) is a key enabling component. This book offers a fresh approach in teaching the e hardware verifi ... Pilns apraksts
Jums varētu patikt arī
TOP
INCOSE Systems Engineering Handbook
-40% ar kodu BOOKS
Piegādātāja noliktavā
TOP
If Anyone Builds It, Everyone Dies: The Case Against Superintelligent AI
Eliezer Yudkowsky, Nate Soares
-40% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Open Circuits: The Inner Beauty of Electronic Components
Eric Schlaepfer, Windell Oskay
-40% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Get started with MicroPython on Raspberry Pi Pico: The Official Raspberry Pi Pico Guide
-40% ar kodu BOOKS
Piegādātāja noliktavā
TOP
We Are Not Machines: The Fight for the Future of Work
-40% ar kodu BOOKS
Piegādātāja noliktavā
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
-40% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Nucleo Boards Programming with the STM32CubeIDE: Hands-on in more than 50 projects
-40% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Data-Driven Science and Engineering: Machine Learning, Dynamical Systems, and Control
Steven L. Brunton, J. Nathan Kutz
-40% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Fundamentals of Aerodynamics ISE
Christopher Cadou, John D. Anderson
-40% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Black Holes: The Key to Understanding the Universe
-40% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Practical Electronics for Inventors
-40% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Flowers For Algernon: A Modern Literary Classic
-40% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Human Compatible: Artificial Intelligence and the Problem of Control
-40% ar kodu BOOKS
Piegādātāja noliktavā
TOP
How To Read Water: Clues & Patterns from Puddles to the Sea
-40% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Make: Electronics: Learning by Discovery: A hands-on primer for the new electronics enthusiast
-40% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Mastering the Arduino Uno R4: Programming and Projects for the Minima and WiFi
-40% ar kodu BOOKS
Piegādātāja noliktavā
TOP
The Idea Factory: Bell Labs and the Great Age of American Innovation
-40% ar kodu BOOKS
Piegādātāja noliktavā
Aprašymas
I am glad to see this new book on the e language and on verification. I am especially glad to see a description of the e Reuse Methodology (eRM). The main goal of verification is, after all, finding more bugs quicker using given resources, and verification reuse (module-to-system, old-system-to-new-system etc. ) is a key enabling component. This book offers a fresh approach in teaching the e hardware verification language within the context of coverage driven verification methodology. I hope it will help the reader und- stand the many important and interesting topics surrounding hardware verification. Yoav Hollander Founder and CTO, Verisity Inc. Preface This book provides a detailed coverage of the e hardware verification language (HVL), state of the art verification methodologies, and the use of e HVL as a facilitating verification tool in implementing a state of the art verification environment. It includes comprehensive descriptions of the new concepts introduced by the e language, e language syntax, and its as- ciated semantics. This book also describes the architectural views and requirements of verifi- tion environments (randomly generated environments, coverage driven verification environments, etc. ), verification blocks in the architectural views (i. e. generators, initiators, c- lectors, checkers, monitors, coverage definitions, etc. ) and their implementations using the e HVL. Moreover, the e Reuse Methodology (eRM), the motivation for defining such a gui- line, and step-by-step instructions for building an eRM compliant e Verification Component (eVC) are also discussed.
Vairāk informācijas
| Autors | Sunita Joshi, Sasan Iman |
|---|---|
| Izdevējs | Springer US |
| Izlaides gads | 2004 |
| Vāka tips | Cietais vāks |
| EAN | 9781402080234 |