The area focuses on research and development in the field of Design Automation for standard digital CMOS ICs, Beyond-CMOS circuits, Electrical Energy Systems, and IoT systems, including algorithms methodologies and prototype tools for low-power and energy efficient circuits and systems.
Specific research topics in this area are:
- Testing, fault tolerance and functional safety of electronic circuits and systems: methods and algorithms for the support to designers and reliability engineers
- Design validation of digital electronic circuits and systems
- Codesign/cosimulation
- Methodologies, algorithms, and tools for low-power design of digital circuits and embedded systems
- Design and optimization of energy-efficient digital circuits and embedded systems
- System-level, RTL, logic-level, and physical synthesis flows and algorithms
- Reconfigurable computing (design of FPGA-based systems)
- Design of easily testable, reliable, and affordable integrated systems
- Embedded systems architectures, and operating systems for embedded systems
- High Performance Computing systems architectures
- Internet-of-Things systems, ubiquitous computing
- Wireless sensor networks and RFID devices
- Agent-based modelling and multi-agent systems for smart systems and environments
- Emerging computing paradigms (e.g., approximate computing, in-memory computing, edge computing, neuromorphic computing)
- Formal methods and symbolic techniques applied to integrated circuits, like formal verification of circuits by means of model checking, high-level synthesis and decision techniques in bounded spaces
- Logic function representation and manipulation based on Binary Decision Diagrams and SAT solvers