Investigating test of digital circuits, high-level system design, parallel processing, reliability, functionality and algorithms. Includes published research, project descriptions, tools and benchmark circuits available to download.
http://www.cad.polito.it/