登入
選單
返回
Google圖書搜尋
Advanced Symbolic Analysis for VLSI Systems
Guoyong Shi
Sheldon X.-D. Tan
Esteban Tlelo Cuautle
其他書名
Methods and Applications
出版
Springer
, 2014-06-19
主題
Technology & Engineering / Electronics / Circuits / General
Technology & Engineering / Electronics / General
Computers / Logic Design
Technology & Engineering / Electrical
Computers / Computer Architecture
ISBN
1493911031
9781493911035
URL
http://books.google.com.hk/books?id=wXYeBAAAQBAJ&hl=&source=gbs_api
EBook
SAMPLE
註釋
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.