#ASPDAC

Simulation of #microfluidic devices can ease their design substantially; but often require substantial runtime. Gerold Fink presents an accurate _and_ efficient approach at #ASPDAC, which exploits different abstractions for this purpose (full paper at

Just gave my first virtual conference presentation in 2021 at #ASPDAC. I presented our recent work on learning Boolean functions from examples. #VirtualConference

Ten years ago, we laid the foundations for some of our #QuantumComputing software. Today, we got a "10-Year Retrospective Most Influential Paper Award" for this (from #ASPDAC conference).🏆Thanks also to my co-authors from that time (@msoeken, Christoph, Nils, @Rolf_Drechsler)!🙂

Meet Shubham Negi from @PurdueECE! He presented his work on ADC-less compute-in-memory for deep learning at #aspdac in Japan. Learn more: #PurdueECE

At #ASPDAC, @BurgholzerLukas presented today, how to make optimal #QuantumCircuit synthesis more scalable and more efficient (by using SAT solving 😎). Read the full paper here: Find the #opensource implementation here: #Quantum

Today, Tom Peham took #verification of #QuantumCircuits to a new level. At #ASPDAC, he presented an approach allowing for the verification of parameterized quantum circuits (aka verification of variational quantum algorithms). Check out the tool at

In January, we received the "10-Year Retrospective Most Influential Paper Award" from the #ASPDAC conference---unfortunately, only virtually. Now, the conference organizers sent us the actual certificate. Many thanks again to the conference, the jury, and the co-authors!🙂

Obviously, #QuantumComputing heavily relies on error correction; and lots of theoretical results, concepts, methods, etc. already exist. But software support could be better. To address that, @lucasberent presented some software tools for decoding QLDPC codes at #ASPDAC today.

Tomorrow at #ASPDAC Sajjad Parvin will talk about "Trojan-D2: Post-Layout Design and Detection of Stealthy Hardware Trojans - a RISC-V Case Study". * Download the paper here: * #conference #design #automation

Krish Chakrabarty from @DukeEngineering/@DukeU gives today's keynote at #ASPDAC -- with a talk on #microfluidic biochips and how to design them in a secure and trustworthy fashion (more at

Join us for a talk recording of our paper "Fundamentally Understanding and Solving RowHammer", presented at #ASPDAC by @agyaglikci. Paper: Slides: Premiere Fri Jan 27 4PM CET: @_onurmutlu_ @_olgunataberk

Interested in testing your RF-Amplifier without a reference model? Check our Metamorphic Testing approach demonstrated for an industrial system-level LNA - tomorrow at #ASPDAC (full paper at #MetamorphicTesting #SystemC #AMS #verification

Fabrication tolerances, deformations, and/or swellings easily lead to defects in #microfluidic devices. At today's #ASPDAC conference, Gerold Fink presents a method to improve the robustness against those. More on that at:

Tomorrow at 04.10 a.m. #ASP-DAC Sajjad Parvin will talk about "Toward Optical Probing Resistant Circuits: A Comparison of Logic Styles and Circuit Design Techniques". * Download the paper here: * #conference #aspdac #circuitdesigntechniques

Also at #ASPDAC today: @QuantumMato brings compilation of #QuantumCircuits to a new dimension: He presents results from our collaboration with @MartinRingbauer (from @uniinnsbruck) on compilation of entangling gates for high-dimensional quantum systems.

Today at #ASPDAC in #Tokyo, #Japan: Marcel Walter is presenting "Scalable Design for Field-coupled Nanocomputing Circuits" - download the paper here:

Tomorrow at #ASPDAC Rune Krauss will talk about "EDDY: A Multi-Core BDD Package With Dynamic Memory Management and Reduced Fragmentation". * Download the paper here: * #conference #design #automation

Today at #ASPDAC, Daniel Schönberger presented our approach for exact shuttling of trapped-ion #QuantumComputers. In this joint work with @Infineon, we utilized #SATSolvers to determine minimal shuttling sequences for Quantum Charge Coupled Devices. 1/3

#ASPDAC started today ( Glad to see many faces from the #EDA community again -- even if through pre-recorded videos only. (and very delighted that our paper with @MarcelCavani, @whaaswijk, Frank, and @Rolf_Drechsler made it to a Best Paper Candidate 🙂)

We are going to be busy this week in #Tokyo. Five presenters from our group at @TU_Muenchen attend #ASPDAC2023---the most important #DesignAutomation conference in Asia and the South Pacific. Looking forward to meet the community there!🙂 @IEEECEDA @ieeecassociety @acmsigda

Also very happy (and a bit proud😉) that our paper "A SAT Encoding for Optimal Clifford Circuit Synthesis" got nominated Best Paper Award candidate at #ASPDAC.🥳