Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification - Lucas Klemmer,Daniel Große
-35% koodilla BOOKS
Toimitus 12-18 arkipäivässä
30 päivän palautusoikeus
Chapter 1 Introduction.- Chapter 2 Background.- Chapter 3 Processor Verification by Equivalent Program Execution.- Chapter 4 A Formally Verified Microcoded RISC-V Platform.- Chapter 5 The Waveform Analysis Language.- Chapter 6 Programmable Analysis of RISC-V Processors using WAL.- Chapter 7 HDL-Integrated Waveform Analysis.- Chapter 8 An Interactive Debugging Methodology Based on WAL.- Chapter 9 Netlist Opt ... Täydellinen kuvaus
Saatat myös pitää
TOP
INCOSE Systems Engineering Handbook
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
If Anyone Builds It, Everyone Dies: The Case Against Superintelligent AI
Eliezer Yudkowsky, Nate Soares
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
Open Circuits: The Inner Beauty of Electronic Components
Eric Schlaepfer, Windell Oskay
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
Get started with MicroPython on Raspberry Pi Pico: The Official Raspberry Pi Pico Guide
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
We Are Not Machines: The Fight for the Future of Work
-35% 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
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
Nucleo Boards Programming with the STM32CubeIDE: Hands-on in more than 50 projects
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
Data-Driven Science and Engineering: Machine Learning, Dynamical Systems, and Control
Steven L. Brunton, J. Nathan Kutz
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
Black Holes: The Key to Understanding the Universe
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
Practical Electronics for Inventors
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
Flowers For Algernon: A Modern Literary Classic
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
Human Compatible: Artificial Intelligence and the Problem of Control
-35% koodilla BOOKS
Loppu
TOP
How To Read Water: Clues & Patterns from Puddles to the Sea
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
Make: Electronics: Learning by Discovery: A hands-on primer for the new electronics enthusiast
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
Mastering the Arduino Uno R4: Programming and Projects for the Minima and WiFi
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
The Idea Factory: Bell Labs and the Great Age of American Innovation
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
Fundamentals of Aerodynamics ISE
Christopher Cadou, John D. Anderson
-35% koodilla BOOKS
Toimittajalla varastossa
TOP
Foundation Design and Construction
-35% koodilla BOOKS
Toimittajalla varastossa
Kuvaus
Lisätietoja
| Kirjoittaja | Lucas Klemmer, Daniel Große |
|---|---|
| Julkaisija | Springer |
| Julkaisuvuosi | 2026 |
| Kannen tyyppi | Pehmeäkantinen |
| EAN | 9783031830952 |