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"
