Daniel GroBe

BDD minimization for approximate computing

Mathias Soeken, Daniel GroBe, Arun Chandrasekharan et al. · 2016 · 52 citations · Full text

Hardware Security, Circuit Complexity, Bdd Minimization +14

Verifying SystemC Using Intermediate Verification Language and Stateful Symbolic Simulation

Vladimir Herdt, Hoang M. Le, Daniel GroBe et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2018 · 42 citations

Engineering, Verification, Computer Architecture +22

RevSCA-2.0: SCA-Based Formal Verification of Nontrivial Multipliers Using Reverse Engineering and Local Vanishing Removal

Alireza Mahzoon, Daniel GroBe, Rolf Drechsler · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2021 · 39 citations

Engineering, Verification, Computer-aided Verification +20

Combining Symbolic Computer Algebra and Boolean Satisfiability for Automatic Debugging and Fixing of Complex Multipliers

Alireza Mahzoon, Daniel GroBe, Rolf Drechsler · 2018 · 24 citations

Program Checking, Engineering, Hardware Verification Language +22

Quantified Synthesis of Reversible Logic

Robert Wille, Hoang M. Le, Gerhard W. Dueck et al. · 2008 Design, Automation and Test in Europe · 2008 · 22 citations

Circuit Complexity, Reversible Logic, Engineering +16