Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes Better Early than Never von Pieper, Pascal, Drechsler, Rolf

Volltext öffnen

Enhanced Virtual Prototyping Featuring RISC-V Case Studies von Herdt, Vladimir, Große, Daniel, Drechsler, Rolf

Volltext öffnen

In-Memory Computing Synthesis and Optimization von Shirinzadeh, Saeideh, Drechsler, Rolf

Volltext öffnen

Computer Wie funktionieren Smartphone, Tablet & Co.? von Drechsler, Rolf 1969-

Volltext öffnen

Erweiterte virtuelle Prototypen für heterogene Systeme von Hassan, Muhammad, Große, Daniel, Drechsler, Rolf

Volltext öffnen

Formal Verification of Structurally Complex Multipliers von Mahzoon, Alireza, Große, Daniel, Drechsler, Rolf

Volltext öffnen

Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme Design, Verständnis und Anwendungen von Goli, Mehran, Drechsler, Rolf 1969-

Volltext öffnen

Noch analog oder lebst Du schon? mit Nrdman durch die Welt von heute... und morgen von Drechsler, Rolf 1969-, Stoppe, Jannis

Volltext öffnen

Automated Analysis of Virtual Prototypes at the Electronic System Level Design Understanding and Applications von Goli, Mehran, Drechsler, Rolf

Volltext öffnen

Automatic methods for the refinement of system models from the specification to the implementation von Seiter, Julia, Wille, Robert, Drechsler, Rolf

Volltext öffnen Volltext öffnen

Enhanced Virtual Prototyping for Heterogeneous Systems von Hassan, Muhammad, Große, Daniel, Drechsler, Rolf

Volltext öffnen

In-Memory-Computing Synthese und Optimierung von Shirinzadeh, Saeideh, Drechsler, Rolf

Volltext öffnen

Design für Testbarkeit, Fehlersuche und Zuverlässigkeit Maßnahmen der nächsten Generation unter Verwendung formaler Techniken von Huhn, Sebastian, Drechsler, Rolf

Volltext öffnen

Design Automation for Field-coupled Nanotechnologies von Walter, Marcel, Wille, Robert, Sill Torres, Frank, Drechsler, Rolf

Volltext öffnen

Verbessertes virtuelles Prototyping mit RISC-V-Fallstudien von Herdt, Vladimir, Große, Daniel, Drechsler, Rolf 1969-

Volltext öffnen

Design for Testability, Debug and Reliability Next Generation Measures Using Formal Techniques von Huhn, Sebastian, Drechsler, Rolf

Volltext öffnen

Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test von Chandrasekharan, Arun, Große, Daniel, Drechsler, Rolf

Volltext öffnen

Exact Design of Digital Microfluidic Biochips von Keszocze, Oliver, Wille, Robert, Drechsler, Rolf

Volltext öffnen

Technische Informatik eine Einführung von Becker, Bernd 1954-, Drechsler, Rolf 1969-, Molitor, Paul 1959-

Automated analysis of virtual prototypes at the electronic system level design understanding and applications von Goli, Mehran, Drechsler, Rolf 1969-