【springer 2014 新书】 Advanced Symbolic Analysis for VLSI Systems

lsw0908

Advanced Symbolic Analysis for VLSI Systems - Methods and Applications
Guoyong Shi• Sheldon X.-D. Tan Esteban Tlelo Cuautle
@Springer Science+Business Media New York 2014
Advanced Symbolic Analysis for VLSI Systems.pdf (9.79 MB, 下载次数: 439 )

2014-7-31 23:38 上传

点击文件名下载附件

hujiaomianhao

关于什么内容的？？

xuleiwx

是基于symbol的分析，既有模拟的也有数字的。

Ralphjh

关于什么内容的？？

apteye

symbolic analysis

dcircuit

下来看看

wandola

i think this book is mainly for digital designers.



---------------------
Provides an overview of classical symbolic analysis methods and a comprehensive presentation on the modern BDD-based symbolic analysis techniques
Describes detailed implementation strategies for BDD-based algorithms, including the principles of zero-suppression, variable ordering and canonical reduction
Introduces the two successful BDD-based symbolic analysis algorithms, Determinant Decision Diagrams (DDD) and Graph-Pair Decision Diagrams (GPDD)
Discusses statistical timing and crosstalk analysis methods based on symbolic moment computation
Includes an application of the DDD algorithm to symbolic performance bound estimations of analog circuits subject to process variations
Presents an application of the DDD algorithm to fast parallel Monte Carlo statistical analysis with an implementation on a popular GPU platform
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. In particular, this book

• Provides an overview of classical symbolic analysis methods and a comprehensive presentation on the modern  BDD-based symbolic analysis techniques;
• Describes detailed implementation strategies for BDD-based algorithms, including the principles of zero-suppression, variable ordering and canonical reduction;
• Introduces the two  successful BDD-based symbolic analysis algorithms, Determinant Decision Diagrams (DDD) and Graph-Pair Decision Diagrams (GPDD);
• Discusses statistical timing and crosstalk analysis methods based on symbolic moment computation;
• Includes an application of the DDD algorithm to symbolic performance bound estimations of analog circuits subject to process variations;
• Presents an application of the DDD algorithm to fast parallel Monte Carlo statistical analysis with an implementation on a popular GPU platform.

amigo.change

感謝分享

modelsim64

非常感谢

cndeusa

多谢楼主的分享了