The Electronic CAD & Reliability Group is a research group inside the Department of Control and Computer Engineering (DAUIN) of Politecnico di Torino. Its mission is to support, through techniques, tools, and services, the designer of electronic circuits and systems. The research conducted by the group spans the whole spectrum of classical computer-aided design topics, with particular emphasis on testing, fault tolerance, and validation of digital circuits and systems described at various levels of abstraction.