Computer Aided Design

Sviluppo di strumenti (software e hardware) e metodologie per il supporto al progettista di circuiti e sistemi elettronici.
Collaudo, diagnosi, tolleranza ai guasti, validazione di microprocessori.

Sviluppo di metodologie, algoritmi e strumenti software per la progettazione automatica di sistemi digitali a basso consumo energetico.
Sintesi al livello sistema, comportamentale e RTL, sintesi ed ottimizzazione a livello logico, sintesi orientata al livello fisico, modellizzazione, stima e ottimizzazione del consumo energetico, uso di diagrammi di decisione (BDDs, ADDs, ZDDs) per la soluzione di algoritmi CAD, verifica di sistemi a stati finiti.

Collaudo di core, piastre, memorie, microprocessori.
Design-for Testability, built-In Self Test e Self Repair.
Valutazione e analisi dell’affidabilità di sistemi digitali.

Gruppi di ricerca

  • Electronic CAD & Reliability Group
    • Sviluppo di strumenti (software e hardware) e metodologie per il supporto al progettista di circuiti e sistemi elettronici.
    • Collaudo, diagnosi, tolleranza ai guasti, validazione di microprocessori.
  • Electronic Design Automation
    • Sviluppo di metodologie, algoritmi e strumenti software per la progettazione automatica di sistemi digitali a basso consumo energetico.
    • Sintesi al livello sistema, comportamentale e RTL, sintesi ed ottimizzazione a livello logico, sintesi orientata al livello fisico, modellizzazione, stima e ottimizzazione del consumo energetico, uso di diagrammi di decisione (BDDs, ADDs, ZDDs) per la soluzione di algoritmi CAD, verifica di sistemi a stati finiti.
  • TestGroup
    • Collaudo di core, piastre, memorie, microprocessori.
      Design-for Testability, built-In Self Test e Self Repair.
    • Valutazione e analisi dell’affidabilità di sistemi digitali.
    • Implementazione e valutazione di piattaforme per E-learning.