Enhanced Virtual Prototyping : Featuring RISC-V Case Studies

by Herdt, Vladimir, Große, Daniel, Drechsler, Rolf
Published 2021

Verbessertes virtuelles Prototyping : Mit RISC-V-Fallstudien

by Herdt, Vladimir, Große, Daniel, Drechsler, Rolf
Published 2022

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes : Better Early than Never

by Pieper, Pascal, Drechsler, Rolf
Published 2024

Advanced Boolean Techniques : Selected Papers from the 13th International Workshop on Boolean Problems

Published 2020

Information Storage : A Multidisciplinary Perspective

Published 2020

In-Memory Computing : Synthesis and Optimization

by Shirinzadeh, Saeideh, Drechsler, Rolf
Published 2020

Recent Findings in Boolean Techniques : Selected Papers from the 14th International Workshop on Boolean Problems

Published 2021

Design for Testability, Debug and Reliability : Next Generation Measures Using Formal Techniques

by Huhn, Sebastian, Drechsler, Rolf
Published 2021

Advanced Logic Synthesis

Published 2018

Quality-Driven SystemC Design

by Große, Daniel, Drechsler, Rolf
Published 2010

Automatic Methods for the Refinement of System Models : From the Specification to the Implementation

by Seiter, Julia, Wille, Robert, Drechsler, Rolf
Published 2017

Design für Testbarkeit, Fehlersuche und Zuverlässigkeit : Maßnahmen der nächsten Generation unter Verwendung formaler Techniken

by Huhn, Sebastian, Drechsler, Rolf
Published 2023

Advanced Boolean Techniques : Selected Papers from the 15th International Workshop on Boolean Problems

Published 2023

Erweiterte virtuelle Prototypen für heterogene Systeme

by Hassan, Muhammad, Große, Daniel, Drechsler, Rolf
Published 2024