#DDECS2025 - team from #Bremen at 28th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) in #Lyon
@unibremen.bsky.social @dfki.bsky.social @dsc-ub.bsky.social @dlr-de.bsky.social
#DDECS2025 - Karl Aaron Rudkowski from @unibremen.bsky.social presenting on "CrosSym: Cross-Level Verification of SystemC Peripherals using Symbolic Execution"; paper available #online agra.informatik.uni-bremen.de/doc/konf/DDE... #SystemC #riscv #SymbolicExecution #formal #scale4edge
#DDECS2025 - Till Schnittka from @unibremen.bsky.social presenting on "RIVER: Sneak Path Aware READ-based In-Memory Computing for 1T1M Memristive Crossbars"; paper available #online agra.informatik.uni-bremen.de/doc/konf/DDE... #InMemory #LiM
#DDECS2025 - Anton Maidl presenting on "Towards an Automated Debugging Approach for Fault Identification in Quantum Circuits"; paper is available #online agra.informatik.uni-bremen.de/doc/konf/DDE... @unibremen.bsky.social #quantum #debugging
#DDECS2025 - Weiyan Zhang from @unibremen.bsky.social presenting on "LLM-assisted Performance Estimation of Embedded Software on RISC-V Processors" cas.polito.it/DDECS2025/pr... #llm #MachineLearning #riscv @riscv.org.web.brid.gy @dsc-ub.bsky.social
#DDECS2025 - first #keynote of 28th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems ( #DDECS ) by Lukas Sekanina on "Evolutionary Machine Learning in Electronic Design Automation" cas.polito.it/DDECS2025/pr...
