Tiziano Villa

Tiziano Villa

Università degli Studi di Verona - Verona / Italy
Engineering & Technology / Electrical & Electronic Engineering
AD Scientific Index ID: 1870981
University of Verona
person_outline Tiziano Villa's MOST POPULAR ARTICLES
1-) VIS: A system for verification and synthesisRK Brayton, GD Hachtel, A Sangiovanni-Vincentelli, F Somenzi, A Aziz, ...International conference on computer aided verification, 428-432, 19969451996
2-) NOVA: State assignment of finite state machines for optimal two-level logic implementationsT Villa, A Sangiovanni-VincentelliProceedings of the 26th ACM/IEEE Design Automation Conference, 327-332, 19894911989
3-) Multi-valued decision diagrams: theory and applicationsT Kam, T Villa, R Brayton, A Sangiovanni-VincentelliMultiple-Valued Logic 4 (1), 9-62, 19983101998
4-) A platform-based design methodology with contracts and related tools for the design of cyber-physical systemsP Nuzzo, AL Sangiovanni-Vincentelli, D Bresolin, L Geretti, T VillaProceedings of the IEEE 103 (11), 2104-2132, 20151692015
5-) Complexity of two-level logic minimizationC Umans, T Villa, AL Sangiovanni-VincentelliIEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 20061372006