Martha Schnieber

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 6

Top Topics

Formal Verification

Boolean Functions

Top Venues

Publications

Rolf Drechsler, Martha Schnieber
Automated Polynomial Formal Verification: Human-Readable Proof Generation. iSES (2023)
Rolf Drechsler, Martha Schnieber
Next-Generation Automatic Human-Readable Proofs Enabling Polynomial Formal Verification. MEMOCODE (2023)
Martha Schnieber, Rolf Drechsler
Polynomial Formal Verification of KFDD Circuits. MEMOCODE (2023)
Martha Schnieber, Saman Fröhlich, Rolf Drechsler
Polynomial Formal Verification of Approximate Functions. ISVLSI (2022)
Martha Schnieber, Saman Fröhlich, Rolf Drechsler
Polynomial Formal Verification of Approximate Adders. DSD (2022)
Martha Schnieber, Saman Fröhlich, Rolf Drechsler
Depth Optimized Synthesis of Symmetric Boolean Functions. ISVLSI (2021)