Advanced Logic Synthesis

Published 2018

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

Published 2021

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

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

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

by Pieper, Pascal, Drechsler, Rolf
Published 2024

In-Memory Computing : Synthesis and Optimization

by Shirinzadeh, Saeideh, Drechsler, Rolf
Published 2020

Information Storage : A Multidisciplinary Perspective

Published 2020

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

Published 2020

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

by Huhn, Sebastian, Drechsler, Rolf
Published 2021

Enhanced Virtual Prototyping : Featuring RISC-V Case Studies

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