알라딘: 미리보기 - Asic/Soc Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies (Paperback)