Computer Aided Design

Development of techniques (software & hardware) and methodologies to support electronic circuits and systems designers.
Test and fault tolerance, validation of microprocessors.

Development of methodologies, algorithms and software techniques for the electronic design automation of low-power digital systems.
System level synthesis, behavioral and RTL, logical synthesis and optimization, physical level synthesis, modeling, estimation of energy consumption, use of decision diagrams (BDDs, ADDs, ZDDs) for the solution of CAD algorithms as well as verification of finite-state systems.

Test of cores, boards, memories and microprocessors.
Design-for Testability, built-In Self Test e Self Repair.
Reliability analysis and evaluation of digital systems.

Research groups

  • Electronic CAD & Reliability Group
    • Development of techniques (software & hardware) and methodologies to support electronic circuits and systems designers.
    • Test and fault tolerance, validation of microprocessors.
  • Electronic Design Automation
    • Development of methodologies, algorithms and software techniques for the electronic design automation of low-power digital systems.
    • System level synthesis, behavioral and RTL, logical synthesis and optimization, physical level synthesis, modeling, estimation of energy consumption, use of decision diagrams (BDDs, ADDs, ZDDs) for the solution of CAD algorithms as well as verification of finite-state systems.
  • TestGroup
    • Test of cores, boards, memories and microprocessors.
    • Design-for Testability, built-In Self Test e Self Repair.
    • Evaluation and analysis of digital systems reliability.
    • Implementation and evaluation of E-learning platforms.