HOME | KONTAKT

Logo Universität Bremen
LOGO AGRA | AG Rechnerarchitektur



Arbeitsgruppe Rechnerarchitektur / AGRA | Informatik | FB03 | Universität Bremen

Die AGRA auf der DATE 2023

8 Konferenzvorträge, Stand auf der University Fair und 2 Beiträge im PhD Forum




Unsere Arbeitsgruppe bereitet sich auf eine der bedeutendsten Konferenzen des Jahres vor - die DATE-Konferenz. Die Veranstaltung bringt Experten aus der ganzen Welt zusammen, um sich mit innovativen Themen auseinanderzusetzen. In diesem Jahr leistet unsere Gruppe Beiträge zu Themen wie Prozessorverifikation, Quantencomputing, polynomiale Verifikation, Hardwaresicherheit und Schaltungsentwurf. Und wir sind nicht einfach nur da - mit 7 Konferenzvorträgen, einem Stand auf der University Fair und 2 Beiträgen im PhD Forum sind wir vertreten.

Im Bereich der Prozessorverifikation konzentrieren wir uns auf die symbolische Ausführung als die beste Methode, um sicherzustellen, dass die Prozessorentwürfe den Anforderungen entsprechen. Im Bereich der Quanteninformatik geht es darum, die Entwurfslandschaft für Toffoli-basierte Quantenschaltkreise zu erweitern. Im Bereich des Schaltungsdesigns konzentrieren wir uns auf die Äquivalenzprüfung zwischen Modellen auf Systemebene und SPICE-Ebene für nichtlineare Schaltungen sowie auf die Simulation und Validierung von Post-Layout-Dateien anhand von optischen Tests.

Wir freuen uns darauf, im April in Antwerpen mit anderen Innovatoren in Kontakt zu treten. Schauen Sie gerne schon jetzt in unserer Rubrik "Publikationen" in dem entsprechenden Paper oder folgen Sie uns auf Twitter, um zu erfahren, wann die Präsentationen stattfinden.

17.04.

Jens Trommer will talk about "Design Enablement Flow for Circuits with Inherent Obfuscation based on Reconfigurable Transistors"

Niklas Bruns will present a poster about "Virtual Prototype Centric Verification for Embedded System Development"
PhD Forum

Pascal Pieper will present a poster about "Formal and Practical Techniques for the Hardware/Software Co-Design Process using Virtual Prototypes"
PhD Forum

18.04.

Sajjad Parvin will talk about "OptiSecure: Securing Nano-Circuits against Optical Probing"
Workshop on Nano Security: From Nano-Electronics to Secure Systems

Deepak Ravibabu will present a poster about "High Level Synthesizing RISC-V: Streamlining Design and Optimization"
University Fair

Niklas Bruns will talk about "Processor Verification using Symbolic Execution: A RISC-V Case-Study"
Best Paper award Candidate

Abhoy Kole will talk about "Extending the Design Space of Dynamic Quantum Circuits for Toffoli based Network"

19.04.

Kemal Çağlar Coşkun will talk about "Equivalence Checking of System-Level and SPICE-Level Models of Static Nonlinear Circuits"

Rolf Drechsler will talk about "Divide and Verify: Using a Divide-and-Conquer Strategy for Polynomial Formal Verification of Complex Circuits"

Tom Glint will talk about "Analysis of Quantization Across DNN Accelerator Architecture Paradigms"

Jan Kleinekathöfer will talk about "Polynomial Formal Verification of Floating Point Adders"

Sajjad Parvin will talk about "FELOPi: A Framework for Simulation and Evaluation of Post-Layout File Against Optical Probing"

27-03-2023
Kontakt: Rolf Drechsler


Die AGRA auf der DATE 2023

Die AGRA auf der DATE 2023
Rolf Drechsler


Rolf Drechsler


©2023 | AG Rechnerarchitektur | Kontakt | Impressum & Datenschutz