Saman Fröhlich

PhD thesis, 2022

Parallel Computing of Graph-based Functions in ReRAM.

[BibT_eX]

[DOI]

Saeideh Shirinzadeh

ACM J. Emerg. Technol. Comput. Syst., 2022

Unlocking approximation for in-memory computing with Cartesian genetic programming and computer algebra for arithmetic circuits.

[BibT_eX]

[DOI]

it Inf. Technol., 2022

Unlocking High Resolution Arithmetic Operations within Memristive Crossbars for Error Tolerant Applications.

[BibT_eX]

[DOI]

Proceedings of the 30th IFIP/IEEE 30th International Conference on Very Large Scale Integration, 2022

Polynomial Formal Verification of Approximate Functions.

[BibT_eX]

[DOI]

Martha Schnieber

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2022

Polynomial Formal Verification of Approximate Adders.

[BibT_eX]

[DOI]

Martha Schnieber

Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

Generation of Verified Programs for In-Memory Computing.

[BibT_eX]

[DOI]

Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

LiM-HDL: HDL-Based Synthesis for In-Memory Computing.

[BibT_eX]

[DOI]

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

2021

Depth Optimized Synthesis of Symmetric Boolean Functions.

[BibT_eX]

[DOI]

Martha Schnieber

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2021

XbNN: Enabling CNNs on Edge Devices by Approximate On-Chip Dot Product Encoding.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systems, 2021

2020

ASNet: Introducing Approximate Hardware to High-Level Synthesis of Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic, 2020

Multiply-Accumulate Enhanced BDD-Based Logic Synthesis on RRAM Crossbars.

[BibT_eX]

[DOI]

Saeideh Shirinzadeh

Proceedings of the IEEE International Symposium on Circuits and Systems, 2020

Efficient machine learning through evolving combined deep neural networks.

[BibT_eX]

[DOI]

Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020

2019

ComPRIMe: A Compiler for Parallel and Scalable ReRAM-based In-Memory Computing.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Symposium on Nanoscale Architectures, 2019

Logic Synthesis for Hybrid CMOS-ReRAM Sequential Circuits.

[BibT_eX]

[DOI]

Saeideh Shirinzadeh

Proceedings of the 2019 IEEE Computer Society Annual Symposium on VLSI, 2019

One Method - All Error-Metrics: A Three-Stage Approach for Error-Metric Evaluation in Approximate Computing.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Approximate Hardware Generation Using Formal Techniques.

[BibT_eX]

[DOI]

Proceedings of the Approximate Circuits, Methodologies and CAD., 2019

2018

Towards Reversed Approximate Hardware Design.

[BibT_eX]

[DOI]

Proceedings of the 21st Euromicro Conference on Digital System Design, 2018

Approximate hardware generation using symbolic computer algebra employing grobner basis.

[BibT_eX]

[DOI]

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

Exakte BDD Minimierung mit Fehlerschranke für den Einsatz im Approximate Computing.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2017

Error Bounded Exact BDD Minimization in Approximate Computing.

[BibT_eX]

[DOI]