My Research in Approximate Circuit Design

Add to your list(s) Download to your calendar using vCal

• Laura Pozzi (USI / Lugano)
• Monday 06 March 2023, 13:00-14:00
• Department of Electrical and Electronic Engineering, Room 909B.

If you have a question about this talk, please contact George A Constantinides.

In this talk I will discuss my research work in the field of Approximate Computing, which is a paradigm for computing \emph{inexactly} in order to save energy, area, and/or delay when compared to exact computation, as long as the incurred error is limited. After providing a brief introduction to the field, I will focus in particular on a method we have recently devised, called XPAT , to derive approXimate circuits through a PArametrical Template by the use of satisfiability techniques. The method takes in input an exact circuit and an error threshold that a user is prepared to tolerate, and in output it generates an approximate circuit which is guaranteed to never differ from the exact by more than the given error threshold. The method’s key idea is to fit the desired approximate circuit onto a parametrical template, and to let an SMT solver shape the final solution by choosing the values of the parameters which will make the error constraint satisfiable. After this and if time allows, I will devote the last few minutes of the talk to list and briefly describe my other research interests beyond approximate computing.

This talk is part of the CAS Talks series.

This talk is included in these lists:

• Andrea Picciau's list
• CAS Talks
• Circuits and Systems Group: Internal Seminars
• Department of Electrical and Electronic Engineering, Room 909B

Note that ex-directory lists are not shown.