L'area si concentra sulla ricerca e lo sviluppo nel campo della Design Automation per circuiti integrati in tecnologie CMOS e post-CMOS, Electrical Energy Systems (EES) e sistemi IoT in generale, comprese metodologie, algoritmi e strumenti prototipali per l’ottimizzazione di sistemi a bassi consumi di potenza ed elevata efficienza energetica.
Le specifiche tematiche di ricerca in quest'area sono:
- Collaudo, tolleranza ai guasti e validazione del progetto di circuiti e sistemi elettronici digitali
- Validazione del progetto di circuiti e sistemi elettronici digitali
- Co-design/co-simulazione
- Metodologie, algoritmi e strumenti per la progettazione a basso consumo di potenza di circuiti digitali e sistemi embedded
- Progettazione e ottimizzazione di circuiti digitali e sistemi embedded ad alta efficienza energetica
- Flussi e algoritmi di sintesi a livello di sistema, a livello RTL, a livello logico, e a livello di layout
- Calcolo riconfigurabile (progettazione di sistemi basati su FPGA)
- Progettazione di sistemi integrati facilmente testabili, affidabili
- Architetture di sistemi embedded e sistemi operativi per sistemi embedded
- Architetture di sistemi di calcolo ad alte prestazioni
- Sistemi Internet-of-Things e ubiquitous computing
- Reti di sensori wireless e dispositivi RFID
- Modellazione basata su agenti e sistemi multi-agente per sistemi e ambienti intelligenti
- Paradigmi informatici emergenti (ad es. calcolo approssimato, calcolo in memoria, edge computing, calcolo neuromorfico)
- Metodi formali e tecniche simboliche applicate ai circuiti integrati, come verifica formale dei circuiti mediante model checking, sintesi ad alto livello e tecniche decisionali in spazi vincolati
- Rappresentazione e manipolazione di funzioni logiche basate su diagrammi di decisione binaria e SAT-solver