#DSD2026 - Luca Müller presenting our paper on "Scalability Matters: Future-Proof Formal Verification of a RISC-V Arithmetic Logic Unit" at the Euromicro Conference Series on Digital System Design (DSD); paper available #online agra.informatik.uni-bremen.de/doc/konf/DSD... @unibremen.bsky.social

#DSD2026 - our team from #AGRA @unibremen.bsky.social and @dfki.bsky.social #CPS at the Euromicro Conference Series on Digital System Design (DSD) dsd-seaa.com/dsd2026/

#DSD2026 - Saeideh Nabipour presenting our paper on "A Design Automation Framework for Approximate MAGIC-Based Dadda Tree Multipliers in Memristive In-Memory Computing" at the Euromicro Conference Series on Digital System Design (DSD) dsd-seaa.com/dsd2026/ @unibremen.bsky.social @dfki.bsky.social