#DSD2025 - Jan Kleinekathöfer from #AGRA @unibremen.bsky.social presenting our paper on "Automatic Polynomial Formal Verification of a Floating Point Multiplier" dsd-seaa.com/dsd2025/ @dsc-ub.bsky.social @dfki.bsky.social #PolyVer #verification

#DSD2025 - our team from #AGRA @unibremen.bsky.social and @dfki.bsky.social at #DSD where we received an Outstanding Paper Award for our article on "A Comprehensive Synthesis and Verification Approach for RRAM-Based Neuromorphic Computing" dsd-seaa.com/dsd2025/ @dsc-ub.bsky.social #verification

#DSD2025 - Fatemeh Shirinzadeh from #DFKI presenting our paper on "A Comprehensive Synthesis and Verification Approach for RRAM-Based Neuromorphic Computing" dsd-seaa.com/dsd2025/ @dfki.bsky.social @unibremen.bsky.social @dsc-ub.bsky.social
#RRAM #neuro #synthesis #verification

#DSD2025 - Martha Schnieber from #AGRA @unibremen.bsky.social presenting our paper on "Synthesis for Testability: Polynomial Test Pattern Generation for KFDD Circuits"; paper is available #online agra.informatik.uni-bremen.de/doc/konf/DSD... @dsc-ub.bsky.social #PolyVer #testing #testability

#DSD2025 - DSD 2025 Outstanding Papers are announced: happy to see that our paper on "A Comprehensive Synthesis and Verification Approach for RRAM-Based Neuromorphic Computing" is listed dsd-seaa.com/dsd2025/ @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social #verification #synthesis #RRAM