Publikationen

Seite 1 von 1.

1. Martha Schnieber; Rolf Drechsler

   Polynomial Formal Verification of KFDD Circuits

   In: Reed-Muller Workshop (RM2023). Reed-Muller Workshop (RM-2023), May 24, Matsue City, Japan, 2023.

2. Martha Schnieber

   Polynomial Formal Verification of Approximate Functions

   Springer, 2023.

3. Martha Schnieber; Saman Fröhlich; Rolf Drechsler

   Polynomial Formal Verification of Approximate Functions

   In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2022), July 4-6, Pafos, Cyprus, …

4. Martha Schnieber; Saman Fröhlich; Rolf Drechsler

   Polynomial Formal Verification of Approximate Adders

   In: Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD), August 31 - September 2, Gran Canaria, …

5. Martha Schnieber; Saman Fröhlich; Rolf Drechsler

   Depth Optimized Synthesis of Symmetric Boolean Functions

   In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2021), July 7-9, Tampa/Virtual, …

• 1