BDD minimization for approximate computing

Mathias Soeken, Daniel GroBe, Arun Chandrasekharan, +1

Hardware SecurityCircuit ComplexityBdd MinimizationEngineeringBoolean Function +12

Verifying SystemC Using Intermediate Verification Language and Stateful Symbolic Simulation

Vladimir Herdt, Hoang M. Le, Daniel GroBe, +1

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

EngineeringVerificationComputer ArchitectureComputer-aided VerificationModel Checking +20

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

EngineeringVerificationComputer-aided VerificationComputational ComplexityLocal Vanishing Removal +18

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

Alireza Mahzoon, Daniel GroBe, Rolf Drechsler

Program CheckingEngineeringHardware Verification LanguageVerificationComputer Architecture +20

Quantified Synthesis of Reversible Logic

Robert Wille, Hoang M. Le, Gerhard W. Dueck, +1

2008 Design, Automation and Test in Europe

Circuit ComplexityReversible LogicEngineeringBoolean FunctionToffoli Networks +14

Synchronization of Clocked Field-Coupled Circuits

Frank Sill Torres, Marcel Walter, Robert Wille, +2

Hardware SecurityElectrical EngineeringProper SynchronizationVlsi DesignCircuit Design +13

Verifying Dividers Using Symbolic Computer Algebra and Don't Care Optimization

Christoph Scholl, Alexander Konrad, Alireza Mahzoon, +2

Mathematical ProgrammingEngineeringVerificationComputer-aided VerificationComputational Complexity +15

Evaluating the Impact of Interconnections in Quantum-Dot Cellular Automata

Frank Sill Torres, Robert Wille, Marcel Walter, +3

EngineeringVlsi DesignQca GridQca CircuitsElectronic Design +15

Ignore Clocking Constraints: An Alternative Physical Design Methodology for Field-Coupled Nanotechnologies

Robert Wille, Marcel Walter, Frank Sill Torres, +2

EngineeringVlsi DesignNanodevicesElectronic DesignComputer Architecture +23

Equivalence checking using Gröbner bases

Amr Sayed-Ahmed, Daniel GroBe, Mathias Soeken, +1

EngineeringHardware Verification LanguageVerificationComputer-aided VerificationModel Checking +14