Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Team « Publikationen
» Publikationen von Martha Schnieber


BÜCHER


BUCHBEITRÄGE


ZEITSCHRIFTEN


KONFERENZEN


» Polynomial Formal Verification of Approximate Adders




Autor:

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

Gran Canaria, Spain, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Polynomial Formal Verification of Approximate Functions




Autor:

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

Pafos, Cyprus, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Depth Optimized Synthesis of Symmetric Boolean Functions




Autor:

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

Tampa, Florida, USA, 2021
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


WORKSHOPS


» Polynomial Formal Verification of Approximate Adders




Autor:

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

Virtual Conference, 2022
Hyperlink:

[Link zum Workshop]

















Die englische Version ist  
von hier aus nicht erreichbar -  
bitte eine Seite zurück gehen.









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt