Error Bounded Exact BDD Minimization in Approximate Computing. - Saman Fröhlich; Daniel Große; Rolf Drechsler (ISMVL, 2017)

Exakte BDD Minimierung mit Fehlerschranke für den Einsatz im Approximate Computing. - Saman Fröhlich; Daniel Große; Rolf Drechsler (MBMV, 2017)

Approximate hardware generation using symbolic computer algebra employing grobner basis. - Saman Fröhlich; Daniel Große; Rolf Drechsler (DATE, 2018)

Towards Reversed Approximate Hardware Design. - Saman Fröhlich; Daniel Große; Rolf Drechsler (DSD, 2018)

Approximate Hardware Generation Using Formal Techniques. - Saman Fröhlich; Daniel Große; Rolf Drechsler (Approximate Circuits, 2019)

One Method - All Error-Metrics: A Three-Stage Approach for Error-Metric Evaluation in Approximate Computing. - Saman Fröhlich; Daniel Große; Rolf Drechsler (DATE, 2019)

Logic Synthesis for Hybrid CMOS-ReRAM Sequential Circuits. - Saman Fröhlich; Saeideh Shirinzadeh; Rolf Drechsler (ISVLSI, 2019)

ComPRIMe: A Compiler for Parallel and Scalable ReRAM-based In-Memory Computing. - Steffen Frerix; Saeideh Shirinzadeh; Saman Fröhlich; Rolf Drechsler (NANOARCH, 2019)

Efficient machine learning through evolving combined deep neural networks. - Rune Krauss; Marcel Merten; Mirco Bockholt; Saman Fröhlich; Rolf Drechsler (GECCO Companion, 2020)

Multiply-Accumulate Enhanced BDD-Based Logic Synthesis on RRAM Crossbars. - Saman Fröhlich; Saeideh Shirinzadeh; Rolf Drechsler (ISCAS, 2020)

ASNet: Introducing Approximate Hardware to High-Level Synthesis of Neural Networks. - Saman Fröhlich; Lucas Klemmer; Daniel Große; Rolf Drechsler (ISMVL, 2020)

XbNN: Enabling CNNs on Edge Devices by Approximate On-Chip Dot Product Encoding. - Lucas Klemmer; Saman Fröhlich; Rolf Drechsler; Daniel Große (ISCAS, 2021)

Depth Optimized Synthesis of Symmetric Boolean Functions. - Martha Schnieber; Saman Fröhlich; Rolf Drechsler (ISVLSI, 2021)

LiM-HDL: HDL-Based Synthesis for In-Memory Computing. - Saman Fröhlich; Rolf Drechsler (DATE, 2022)

Generation of Verified Programs for In-Memory Computing. - Saman Fröhlich; Rolf Drechsler (DSD, 2022)

Polynomial Formal Verification of Approximate Adders. - Martha Schnieber; Saman Fröhlich; Rolf Drechsler (DSD, 2022)

Polynomial Formal Verification of Approximate Functions. - Martha Schnieber; Saman Fröhlich; Rolf Drechsler (ISVLSI, 2022)

Unlocking High Resolution Arithmetic Operations within Memristive Crossbars for Error Tolerant Applications. - Kamalika Datta; Saman Fröhlich; Saeideh Shirinzadeh; Dev Narayan Yadav; Indranil Sengupta 001; Rolf Drechsler (VLSI-SoC, 2022)

Unlocking approximation for in-memory computing with Cartesian genetic programming and computer algebra for arithmetic circuits. - Saman Fröhlich; Rolf Drechsler (it Inf. Technol., 2022)

Parallel Computing of Graph-based Functions in ReRAM. - Saman Fröhlich; Saeideh Shirinzadeh; Rolf Drechsler (ACM J. Emerg. Technol. Comput. Syst., 2022)

A Fully Fledged HDL Design Flow for In-Memory Computing with Approximation Support - Saman Fröhlich (2022)