LEADER 04349nam 22006735 450 001 9910299743803321 005 20250310173723.0 010 $a9781493911035 010 $a1493911031 024 7 $a10.1007/978-1-4939-1103-5 035 $a(CKB)3710000000134382 035 $a(EBL)1782068 035 $a(SSID)ssj0001274383 035 $a(PQKBManifestationID)11741248 035 $a(PQKBTitleCode)TC0001274383 035 $a(PQKBWorkID)11332924 035 $a(PQKB)11609086 035 $a(MiAaPQ)EBC1782068 035 $a(DE-He213)978-1-4939-1103-5 035 $a(PPN)179763822 035 $a(EXLCZ)993710000000134382 100 $a20140619d2014 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aAdvanced Symbolic Analysis for VLSI Systems $eMethods and Applications /$fby Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle 205 $a1st ed. 2014. 210 1$aNew York, NY :$cSpringer New York :$cImprint: Springer,$d2014. 215 $a1 online resource (308 p.) 300 $aDescription based upon print version of record. 311 08$a9781322133249 311 08$a1322133247 311 08$a9781493911028 311 08$a1493911023 320 $aIncludes bibliographical references and index. 327 $aPart I: Fundamentals -- Introduction -- Symbolic Analysis Techniques In A Nutshell -- Binary Decision Diagram for Symbolic Analysis -- Part II: Methods -- Determinant Decision Diagrams -- DD Implementation -- Generalized Two-Graph Theory -- Graph-Pair Decision Diagram -- Hierarchical Analysis Methods -- Symbolic Nodal Analysis of Analog Circuits Using Nullors -- Part III: Applications -- Symbolic Moment Computation -- Performance Bound Analysis of Analog Circuits Considering Process Variations -- Statistical Parallel Monte-Carlo Analysis on GPUS. 330 $aThis 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. 606 $aElectronic circuits 606 $aElectronics 606 $aLogic design 606 $aElectronic Circuits and Systems 606 $aElectronics and Microelectronics, Instrumentation 606 $aLogic Design 615 0$aElectronic circuits. 615 0$aElectronics. 615 0$aLogic design. 615 14$aElectronic Circuits and Systems. 615 24$aElectronics and Microelectronics, Instrumentation. 615 24$aLogic Design. 676 $a621.395 700 $aShi$b Guoyong$4aut$4http://id.loc.gov/vocabulary/relators/aut$0875351 702 $aTan$b Sheldon X.-D$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aTlelo Cuautle$b Esteban$4aut$4http://id.loc.gov/vocabulary/relators/aut 906 $aBOOK 912 $a9910299743803321 996 $aAdvanced Symbolic Analysis for VLSI Systems$91954339 997 $aUNINA