Homepage
Sitemap
Kontakt




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

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





» Towards Neural Hardware Search: Power Estimation of CNNs for GPGPUs with Dynamic Frequency Scaling




Autor:

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

Snowbird, USA, 2022
Hyperlink:

[Link zum Workshop]



» Feature Importance and Extensibility for Predicting Loan Defaults in Marketplace Lending using BiLSTM




Autor:

Sana Hassan Imam, Sebastian Huhn, Lars Hornuf, Rolf Drechsler
Workshop:
Frontiers of Factor Investing Conference (FoFi)
Referenz:

Lancaster, UK, 2022
Hyperlink:

[Link zum Workshop]



» Polynomial Formal Verification of Approximate Adders




Autor:

Martha Schnieber, Saman Fröhlich, Rolf Drechsler
Workshop:
International Workshop on Logic & Synthesis (IWLS)
Referenz:

Virtual Conference, 2022
Hyperlink:

[Link zum Workshop]



» Polynomial Formal Verification of Complex Multipliers




Autor:

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

Virtual, 2022
Hyperlink:

[Link zum Workshop]



» Simulation-based Verification of SystemC-based VPs at the ESL




Autor:

Mehran Goli, Rolf Drechsler
Workshop:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Referenz:

Virtual, 2022
Hyperlink:

[Link zum Workshop]
PDF:

[hier ansehen]



» RISC-V Processor Verification with Coverage-guided Aging




Autor:

Niklas Bruns, Vladimir Herdt, Eyck Jentzsch, Rolf Drechsler
Workshop:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Referenz:

Virtual, 2022
Hyperlink:

[Link zum Workshop]
PDF:

[hier ansehen]



» System Level Verification of Analog/Mixed-Signal Systems using Metamorphic Relations




Autor:

Muhammad Hassan and Rolf Drechsler
Workshop:
34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ)
Referenz:

Bremerhaven, Germany, 2022
Hyperlink:

[Link zum Workshop]
PDF:

[hier ansehen]



» Quality Assessment of RFET-based Logic Locking Protection Mechanisms using Formal Methods




Autor:

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

Bremerhaven, Germany, 2022
Hyperlink:

[Link zum Workshop]
PDF:

[hier ansehen]



» An ILP-based Global Optimum Test Scheduler for IEEE 1687 Multi-Power Domain Networks




Autor:

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

Bremerhaven, Germany, 2022
Hyperlink:

[Link zum Workshop]
PDF:

[hier ansehen]



» Verification of RISC-V Embedded Software by Integrating Concolic Testing with SystemC-based Virtual Prototypes




Autor:

Sören Tempel, Vladimir Herdt, Rolf Drechsler
Workshop:
4th Workshop on RISC-V Activities
Referenz:

Virtual, 2021
Hyperlink:

[Link zum Workshop]



» Polynomial Formal Verification of Prefix Adders




Autor:

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

Virtual Conference, 2021
Hyperlink:

[Link zum Workshop]



» 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]
Vortrag:

[Link Vortragsvideo]
PDF:

[hier ansehen]



» MicroRV32: 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]
PDF:

[hier ansehen]



» 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]



ältere Einträge im Archiv






English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt