Conference Agenda

11:40am - 12:00pm

Matrix-Vectorized Canonical Signed Digit Quantized Neural Networks for Efficient Forward Pass Simulation

Maria Khan, Jari Nurmi

Tampere University, Finland

12:00pm - 12:20pm

Automatic Verification of Analog and Mixed-Signal Neural Network Accelerators and Matrix Multipliers

Roland Müller¹, Bijoy Kundu¹, Jan Maximilian Vieregge¹, Yogesh Patil¹, Ralf Brederlow²

¹Fraunhofer Institut for Integrated Circuits IIS, Germany; ²Technical University of Munich, Germany

12:20pm - 12:40pm

Efficient Prompt Design for Resource-Constraint Deployment of Local LLMs

Aisvarya Adeseye, Jouni Isoaho, Seppo Virtanen, Mohammad Tahir

university of Turku, Finland