Somenzi, Fabio.

Overview

Works:	2 works in 0 publications in 0 languages

Titles

Computer aided verification by: Hunt, Jr, Warren A.; Somenzi, Fabio.; SpringerLink (Online service); Computer aided verification (International conference) (2003 Jul :) (Electronic resources)

Logic synthesis and verification algorithms by: Somenzi, Fabio.; SpringerLink (Online service); Hachtel, Gary D. (Language materials, printed)

Subjects

Integrated circuits- Verification Integrated circuits- Very large scale integration Integrated circuits- Verification. Computer-aided design. Logic design- Data processing. Computer software- Verification