Advanced Symbolic Analysis for VLSI Systems: Methods and Applications

این کتاب پوشش جامعی از پیشرفت های اخیر در تکنیک های تحلیل نمادین برای اتوماسیون طراحی سیستم های نانومتری VLSI ارائه می دهد. این ارائه در بخش‌هایی از اصول، روش‌های پیاده‌سازی اولیه و برنامه‌های کاربردی برای طراحی VLSI سازماندهی شده است. موضوعات مورد تاکید شامل زمان بندی آماری و تجزیه و تحلیل متقاطع، تحلیل آماری و موازی، تجزیه و تحلیل کران عملکرد و مدل سازی رفتاری برای مدارهای مجتمع آنالوگ است. در میان پیشرفت‌های اخیر، رویکردهای مبتنی بر نمودار تصمیم‌گیری باینری (BDD) به طور عمیق مورد مطالعه قرار گرفته‌اند. رویکردهای تحلیل نمادین سلسله مراتبی مبتنی بر BDD، اساساً مانع اندازه مدار آنالوگ را شکسته اند.

This book provides comprehensive coverage of the recent advances in symbolic analysis techniques for design automation of nanometer VLSI systems. The presentation is organized in parts of fundamentals, basic implementation methods and applications for VLSI design. Topics emphasized include statistical timing and crosstalk analysis, statistical and parallel analysis, performance bound analysis and behavioral modeling for analog integrated circuits. Among the recent advances, the Binary Decision Diagram (BDD) based approaches are studied in depth. The BDD-based hierarchical symbolic analysis approaches, have essentially broken the analog circuit size barrier.