Close
 

Organization

University of Bremen
Presenters
Rolf Drechsler
Alireza Mahzoon
Session Chairs
Rolf Drechsler
Presentations
Research Manuscript
Formal Verification of Modular Multipliers using Symbolic Computer Algebra and Boolean Satisfiability
EDA
Design Verification and Validation
Networking Reception
Work-in-Progress Poster
Qualification of Metamorphic Relations for System Level AMS Models using Data Flow Coverage
Research Manuscript
Verifying SystemC TLM Peripherals using Modern C++ Symbolic Execution Tools
EDA
Design Verification and Validation
Sessions
Research Manuscript
Robust Quantum Computing: Wild Goose Chase?
Design
Quantum Computing