Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Publikationen « Workshops

Sortieren nach: [ Titel ] [ Autor ] [ Workshopname ] [ Referenz ]
Suche nach:





» Polynomial Formal Verification of Area-efficient and Fast Adders




Autor:

Alireza Mahzoon, Rolf Drechsler
Workshop:
2021 Reed-Muller Workshop (RM2021)
Referenz:

Nursultan, Kazakhstan, 2021
Hyperlink:

[Link zum Workshop]



» MircoRV32: An Open Source RISC-V Cross-Level Platform for Education and Research




Autor:

Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler
Workshop:
Design Automation for CPS and IoT (DESTION)
Referenz:

Nashville, USA, 2021
Hyperlink:

[Link zum Workshop]
PDF:

[hier ansehen]



» GenMul: Generating Architecturally Complex Multipliers to Challenge Formal Verification Tools




Autor:

Alireza Mahzoon, Daniel Große, Rolf Drechsler
Workshop:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Referenz:

München, Germany, 2021
Hyperlink:

[Link zum Workshop]



» Constrained Random Verification for RISC-V: Overview, Evaluation and Discussion




Autor:

Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler
Workshop:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Referenz:

München, Germany, 2021
Hyperlink:

[Link zum Workshop]
PDF:

[hier ansehen]



» VP-based DIFT for Embedded Binaries: A RISC-V Case Study




Autor:

Pascal Pieper, Vladimir Herdt, Daniel Große, Rolf Drechsler
Workshop:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Referenz:

München, Germany, 2021
Hyperlink:

[Link zum Workshop]



» MicroRV32: A SpinalHDL based RISC-V Implementation for FPGAs




Autor:

Sallar Ahmadi-Pour, Vladimir Herdt and Rolf Drechsler
Workshop:
University Booth at Design, Automation and Test in Europe (DATE)
Referenz:

Grenoble, France, 2021
Hyperlink:

[Link zum Workshop]
PDF:

[hier ansehen]



» Efficient Techniques to Boost RISC-V Compliance Testing




Autor:

Vladimir Herdt and Rolf Drechsler
Workshop:
Workshop on Interdependent Challenges of Reliability, Security and Quality (RESCUE)
Referenz:

Grenoble, France, 2021
Hyperlink:

[Link zum Workshop]



» A Memory-Upscaled Boolean Satisfiability Solver for Complex On-Chip Self-Verification Tasks




Autor:

Buse Ustaoglu, Sebastian Huhn and Rolf Drechsler
Workshop:
Workshop on Interdependent Challenges of Reliability, Security and Quality (RESCUE)
Referenz:

Grenoble, France, 2021
Hyperlink:

[Link zum Workshop]



» Pick the Right Edge Device: Towards Power and Performance Estimation of CUDA-based CNNs on GPGPUs




Autor:

Christopher Metz, Mehran Goli, Rolf Drechsler
Workshop:
System-level Design Methods for Deep Learning on Heterogeneous Architectures (SLOHA)
Referenz:

Grenoble, France, 2021
Hyperlink:

[Link zum Workshop]
PDF:

[hier ansehen]



» Test Scheduling Optimization Model for IEEE 1687 Multi-Power Domain Networks Using Boolean Satisfiability




Autor:

Payam Habiby, Sebastian Huhn and Rolf Drechsler
Workshop:
33. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ)
Referenz:

Nordhausen, Germany, 2021
Hyperlink:

[Link zum Workshop]
PDF:

[hier ansehen]



» SAT-based Exact Physical Design for Field-coupled Nanocomputing Technologies




Autor:

Marcel Walter, Winston Haaswijk, Robert Wille, Frank Sill Torres, Rolf Drechsler
Workshop:
International Workshop on Logic & Synthesis (IWLS)
Referenz:

San Francisco, USA, 2020
Hyperlink:

[Link zum Workshop]



» Fuzz-Testing RISC-V Simulators




Autor:

Vladimir Herdt, Daniel Große, Rolf Drechsler
Workshop:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Referenz:

Stuttgart, Germany, 2020
Hyperlink:

[Link zum Workshop]



» Coverage-Directed Stimuli Generation for Characterization of RF Amplifiers




Autor:

Muhammad Hassan, Daniel Große, Ahmad Asghar, Rolf Drechsler
Workshop:
32. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ 2020)
Referenz:

Stuttgart, Germany, 2020
Hyperlink:

[Link zum Workshop]
PDF:

[hier ansehen]



» Power-Layout-Aware Test Pattern Re-scheduling




Autor:

Harshad Dhotre, Stephan Eggersglüß, Rolf Drechsler
Workshop:
32. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ 2020)
Referenz:

Stuttgart, Germany, 2020
Hyperlink:

[Link zum Workshop]



» Integrating Hybrid Analysis with Machine Learning Techniques for Portion Resilience Evaluation in Approximating SystemC-based Designs




Autor:

Mehran Goli, Rolf Drechsler
Workshop:
Workshop on Machine Learning for CAD (MLCAD)
Referenz:

Canmore (Banff Area), Alberta, Canada, 2019
Hyperlink:

[Link zum Workshop]



» GenMul: Generating architecturally complex multipliers to challenge formal verification tools




Autor:

Alireza Mahzoon, Daniel Große, Rolf Drechsler
Workshop:
International Workshop on Logic & Synthesis (IWLS)
Referenz:

Lausanne, Switzerland, 2019
Hyperlink:

[Link zum Workshop]



» fiction: An Open Source Framework for the Design of Field-coupled Nanocomputing Circuits




Autor:

Marcel Walter, Robert Wille, Frank Sill Torres, Daniel Große, Rolf Drechsler
Workshop:
International Workshop on Logic & Synthesis (IWLS)
Referenz:

Lausanne, Switzerland, 2019
Hyperlink:

[Link zum Workshop]



» Self-Explaining Digital Systems – Some Technical Steps




Autor:

Goerschwin Fey and Rolf Drechsler
Workshop:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Referenz:

Kaiserslautern, Germany, 2019
Hyperlink:

[Link zum Workshop]
PDF:

[hier ansehen]



» Towards Gate-Level Design of QCA Circuits




Autor:

Philipp Niemann, Igor Kazhdan, Frank Sill Torres, Rolf Drechsler
Workshop:
6th Workshop on Design Automation for Understanding Hardware Designs (DUHDe)
Referenz:

Florence, Italy, 2019
Hyperlink:

[Link zum Workshop]



» Enhanced Embedded Test Compression Technique For Processing Incompressible Test Patterns




Autor:

Sebastian Huhn, Stephan Eggersglüß and Rolf Drechsler
Workshop:
31. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ)
Referenz:

Prien am Chiemsee, Germany, 2019
Hyperlink:

[Link zum Workshop]
PDF:

[hier ansehen]



ältere Einträge im Archiv






English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt