Saman Fröhlich

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