The design of digital systems involves many activities, from requirements’ analysis, to specification, validation, design space exploration, implementation and testing. For each one of these tasks, several issues need to be taken into account in order to identify a satisfying solution characterized by a favorable trade-off between costs and benefits (performance, area, power consumption, dependability, …).
In the past years we have been working on some of these issues, achieving background and experience on design methodologies tackling the involved problems, with the aim of providing a systematic and general approach to design a complex digital circuit with the desired properties.
Each one of the active projects focuses on a specific issue from a methodological point of view, trying to identify a viable and convenient solution.
At the moment, the active projects are: