Our paper presented at ACM/IEEE Design Automation Conference on "LLM-assisted Automated Incremental Proof Generation for Hardware Verification" is available #online dl.acm.org/doi/10.1145/... @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social #DAC2024 #61DAC #verification #LLM

Our paper presented at ACM/IEEE Design Automation Conference on "Efficient Equivalence Checking of Nonlinear Analog Circuits using Gradient Ascent" is available #online dl.acm.org/doi/10.1145/... @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social #DAC2024 #61DAC #verification

#DAC2024 in #SanFrancisco: Kemal Çağlar Coşkun from #AGRA @unibremen.bsky.social wins 3rd place in #PhDForum - congratulations! dac.com
#61DAC @dsc-ub.bsky.social @dfki.bsky.social

#DAC2024 in #SanFrancisco: ACM Fellows are announced dac.com
#61DAC #ACM @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social