Saman Fröhlich

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 19

Top Topics

Computer Algebra

Formal Verification

Automated Theorem Provers

Top Venues

Publications

Saman Fröhlich, Rolf Drechsler
Unlocking approximation for in-memory computing with Cartesian genetic programming and computer algebra for arithmetic circuits. it Inf. Technol. 64 (3) (2022)
Kamalika Datta, Saman Fröhlich, Saeideh Shirinzadeh, Dev Narayan Yadav, Indranil Sengupta, Rolf Drechsler
Unlocking High Resolution Arithmetic Operations within Memristive Crossbars for Error Tolerant Applications. VLSI-SoC (2022)
Martha Schnieber, Saman Fröhlich, Rolf Drechsler
Polynomial Formal Verification of Approximate Functions. ISVLSI (2022)
Saman Fröhlich, Rolf Drechsler
LiM-HDL: HDL-Based Synthesis for In-Memory Computing. DATE (2022)
Saman Fröhlich, Saeideh Shirinzadeh, Rolf Drechsler
Parallel Computing of Graph-based Functions in ReRAM. ACM J. Emerg. Technol. Comput. Syst. 18 (2) (2022)
Martha Schnieber, Saman Fröhlich, Rolf Drechsler
Polynomial Formal Verification of Approximate Adders. DSD (2022)
Saman Fröhlich, Rolf Drechsler
Generation of Verified Programs for In-Memory Computing. DSD (2022)
Lucas Klemmer, Saman Fröhlich, Rolf Drechsler, Daniel Große
XbNN: Enabling CNNs on Edge Devices by Approximate On-Chip Dot Product Encoding. ISCAS (2021)
Martha Schnieber, Saman Fröhlich, Rolf Drechsler
Depth Optimized Synthesis of Symmetric Boolean Functions. ISVLSI (2021)
Saman Fröhlich, Saeideh Shirinzadeh, Rolf Drechsler
Multiply-Accumulate Enhanced BDD-Based Logic Synthesis on RRAM Crossbars. ISCAS (2020)
Saman Fröhlich, Lucas Klemmer, Daniel Große, Rolf Drechsler
ASNet: Introducing Approximate Hardware to High-Level Synthesis of Neural Networks. ISMVL (2020)
Rune Krauss, Marcel Merten, Mirco Bockholt, Saman Fröhlich, Rolf Drechsler
Efficient machine learning through evolving combined deep neural networks. GECCO Companion (2020)
Steffen Frerix, Saeideh Shirinzadeh, Saman Fröhlich, Rolf Drechsler
ComPRIMe: A Compiler for Parallel and Scalable ReRAM-based In-Memory Computing. NANOARCH (2019)
Saman Fröhlich, Saeideh Shirinzadeh, Rolf Drechsler
Logic Synthesis for Hybrid CMOS-ReRAM Sequential Circuits. ISVLSI (2019)
Saman Fröhlich, Daniel Große, Rolf Drechsler
One Method - All Error-Metrics: A Three-Stage Approach for Error-Metric Evaluation in Approximate Computing. DATE (2019)
Saman Fröhlich, Daniel Große, Rolf Drechsler
Approximate hardware generation using symbolic computer algebra employing grobner basis. DATE (2018)
Saman Fröhlich, Daniel Große, Rolf Drechsler
Towards Reversed Approximate Hardware Design. DSD (2018)
Saman Fröhlich, Daniel Große, Rolf Drechsler
Error Bounded Exact BDD Minimization in Approximate Computing. ISMVL (2017)
Saman Fröhlich, Daniel Große, Rolf Drechsler
Exakte BDD Minimierung mit Fehlerschranke für den Einsatz im Approximate Computing. MBMV (2017)