Rolf Drechsler – alle Bücher

Ihre Suche nach "Rolf Drechsler" ergab 8 Treffer

Rolf Drechsler

Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme

Dieses Buch beschreibt eine Reihe von SystemC-basierten Analysemethoden für virtuelle Prototypen, einschließlich Entwurfsverständnis, Verifikation, Sicherheitsvalidierung und Entwurfsraumuntersuchung. Der…

sofort lieferbar

Buch

EUR 109,99*

Artikel ist im Warenkorb

Rolf Drechsler

Design für Testbarkeit, Fehlersuche und Zuverlässigkeit

In diesem Buch werden mehrere neue Ansätze vorgestellt, die den Weg für die nächste Generation integrierter Schaltungen ebnen, die auch in sicherheitskritischen Anwendungen erfolgreich und zuverlässig int…

sofort lieferbar

Buch

EUR 109,99*

Artikel ist im Warenkorb

Rolf Drechsler

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes

This book deals with formal and practical approaches for early fast modeling and verification of complex digital processor hardware and software using SystemC-based virtual prototypes. As a special focus,…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 131,42*

Artikel ist im Warenkorb

Muhammad Hassan

Enhanced Virtual Prototyping for Heterogeneous Systems

This book describes a comprehensive combination of methodologies that strongly enhance the modern Virtual Prototype (VP)-based verification flow for heterogeneous systems-on-chip (SOCs). In particular, th…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 85,33*

Artikel ist im Warenkorb

Muhammad Hassan

Erweiterte virtuelle Prototypen für heterogene Systeme

Dieses Buch beschreibt eine umfassende Kombination von Methoden, die den modernen Virtual Prototype (VP)-basierten Verifikationsfluss für heterogene Systems-on-Chip (SOCs) stark verbessern. Insbesondere k…

lieferbar ab 24.7.2024.

Buch

EUR 79,99*

Artikel ist im Warenkorb

Alireza Mahzoon

Formal Verification of Structurally Complex Multipliers

This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebr…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 98,56*

Artikel ist im Warenkorb

Saeideh Shirinzadeh

In-Memory-Computing

Dieses Buch beschreibt einen umfassenden Ansatz für die Synthese und Optimierung von Logic-in-Memory-Computing-Hardware und -Architekturen mit memristiven Bauelementen, der eine solide Grundlage für prakt…

sofort lieferbar

Buch

EUR 109,99*

Artikel ist im Warenkorb

Advanced Boolean Techniques

This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical co…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 120,46*

Artikel ist im Warenkorb

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.