𝔖 Scriptorium
✦   LIBER   ✦
📁

Verbessertes virtuelles Prototyping: Mit RISC-V-Fallstudien

✍ Scribed by Vladimir Herdt; Daniel Große; Rolf Drechsler

Publisher
Springer International Publishing
Year
2023
Tongue
German
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verbessertes virtuelles Prototyping: Mit
📁 Verbessertes virtuelles Prototyping: Mit RISC-V-Fallstudien
✍ Vladimir Herdt; Daniel Große; Rolf Drechsler 📂 Library 📅 2023 🏛 Springer International Publishing / Springer Viewe 🌐 German

Dieses Buch stellt eine umfassende Reihe von Techniken vor, die alle wichtigen Aspekte eines modernen Virtual Prototype (VP)-basierten Entwurfsablaufs verbessern. Die Autoren legen den Schwerpunkt auf automatisierte formale Verifikationsmethoden sowie auf fortgeschrittene, abdeckungsgeleitete Analys

Enhanced Virtual Prototyping: Featuring
📁 Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
✍ Vladimir Herdt, Daniel Große, Rolf Drechsler 📂 Library 📅 2021 🏛 Springer 🌐 English

This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize automated formal verification methods, as well as advanced coverage-guided analysis and testing techniques, tailored for SystemC-based VPs and

Enhanced Virtual Prototyping: Featuring
📁 Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
✍ Vladimir Herdt, Daniel Große, Rolf Drechsler 📂 Library 📅 2021 🏛 Springer International Publishing;Springer 🌐 English

<p><p>This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize automated formal verification methods, as well as advanced coverage-guided analysis and testing techniques, tailored for SystemC-based V

Virtuelle Wirtschaft: Virtuelle Unterneh
📁 Virtuelle Wirtschaft: Virtuelle Unternehmen, Virtuelle Produkte, Virtuelles Geld und Virtuelle Kommunikation
✍ Michael Hutter (auth.), Andreas Brill, Michael de Vries (eds.) 📂 Library 📅 1998 🏛 VS Verlag für Sozialwissenschaften 🌐 German

<p>Dipl. Volksw. sozw. R. Andreas Brill ist wissenschaftlicher Mitarbeiter am Lehrstuhl für Theorie der Wirtschaft und ihrer Umwelt und am Institut für Wirtschaft und Kultur an der Fakultät für Wirtschaftswissenschaft der Universität Witten/Herdecke. <br> Dipl.-Ök. Michael de Vries ist wissenschaftl

Virtuelle Universität - Virtuelles Lerne
📁 Virtuelle Universität - Virtuelles Lernen: mit einem Kapitel von Martin Wessner
✍ Rolf Schulmeister 📂 Library 📅 2010 🏛 Oldenbourg Wissenschaftsverlag 🌐 German

<p>In diesem Buch werden hochschulpolitische Forderungen und Prognosen zur zukünftigen Marktentwicklung der virtuellen Universität zusammengebracht und mit empirischen Beschreibungen des aktuellen Medieneinsatzes konfrontiert. Damit soll dazu beigetragen werden, Trends zu identifizieren, Stärken und