Martha Schnieber

According to our database, Martha Schnieber authored at least 6 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Polynomial Formal Verification of KFDD Circuits.

Martha Schnieber, Rolf Drechsler

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

Next-Generation Automatic Human-Readable Proofs Enabling Polynomial Formal Verification.

Rolf Drechsler, Martha Schnieber

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

Automated Polynomial Formal Verification: Human-Readable Proof Generation.

Rolf Drechsler, Martha Schnieber

Proceedings of the IEEE International Symposium on Smart Electronic Systems, 2023

2022

Polynomial Formal Verification of Approximate Functions.

Martha Schnieber, Saman Fröhlich, Rolf Drechsler

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

Polynomial Formal Verification of Approximate Adders.

Martha Schnieber, Saman Fröhlich, Rolf Drechsler

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

2021

Depth Optimized Synthesis of Symmetric Boolean Functions.

Martha Schnieber, Saman Fröhlich, Rolf Drechsler

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