Homepage Sitemap Contact




Home « Team « Publications
» Publications of Martha Schnieber



BOOKS


BOOK CONTRIBUTIONS


JOURNALS


CONFERENCES



» Polynomial Formal Verification of Approximate Adders




Author:

Martha Schnieber, Saman Fröhlich, Rolf Drechsler
Conference:
Euromicro Conference on Digital System Design (DSD)
Reference:

Gran Canaria, Spain, 2022
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Polynomial Formal Verification of Approximate Functions




Author:

Martha Schnieber, Saman Fröhlich, Rolf Drechsler
Conference:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Reference:

Pafos, Cyprus, 2022
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Depth Optimized Synthesis of Symmetric Boolean Functions




Author:

Martha Schnieber, Saman Fröhlich, Rolf Drechsler
Conference:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Reference:

Tampa, Florida, USA, 2021
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]


WORKSHOPS




» Polynomial Formal Verification of Approximate Adders




Author:

Martha Schnieber, Saman Fröhlich, Rolf Drechsler
Workshop:
International Workshop on Logic & Synthesis (IWLS)
Reference:

Virtual Conference, 2022
Hyperlink:

[Link to the Workshop]

















Die deutsche Version ist von dieser Seite nicht erreichbar - bitte gehen Sie eine Seite zurück.









Sitemap Kontakt

ISMVL2014 DUHDE