Computer Science & Engineering Department University of California, San Diego SPICE Diego A Transistor Level Full System Simulator Chung-Kuan Cheng May.

Slides:



Advertisements
Similar presentations
School of something FACULTY OF OTHER School of Computing An Adaptive Numerical Method for Multi- Scale Problems Arising in Phase-field Modelling Peter.
Advertisements

Mutigrid Methods for Solving Differential Equations Ferien Akademie 05 – Veselin Dikov.
Variation Aware Gate Delay Models Dinesh Ganesan.
Arc-length computation and arc-length parameterization
EE 201A Modeling and Optimization for VLSI LayoutJeff Wong and Dan Vasquez EE 201A Noise Modeling Jeff Wong and Dan Vasquez Electrical Engineering Department.
CSE 245: Computer Aided Circuit Simulation and Verification Matrix Computations: Iterative Methods (II) Chung-Kuan Cheng.
Design Rule Generation for Interconnect Matching Andrew B. Kahng and Rasit Onur Topaloglu {abk | rtopalog University of California, San Diego.
1 Numerical Solvers for BVPs By Dong Xu State Key Lab of CAD&CG, ZJU.
Geometric (Classical) MultiGrid. Hierarchy of graphs Apply grids in all scales: 2x2, 4x4, …, n 1/2 xn 1/2 Coarsening Interpolate and relax Solve the large.
Announcements Be reading Chapter 6, also Chapter 2.4 (Network Equations). HW 5 is 2.38, 6.9, 6.18, 6.30, 6.34, 6.38; do by October 6 but does not need.
1 Accurate Power Grid Analysis with Behavioral Transistor Network Modeling Anand Ramalingam, Giri V. Devarayanadurg, David Z. Pan The University of Texas.
Algebraic MultiGrid. Algebraic MultiGrid – AMG (Brandt 1982)  General structure  Choose a subset of variables: the C-points such that every variable.
CSE 245: Computer Aided Circuit Simulation and Verification Fall 2004, Nov Nonlinear Equation.
CSE245: Computer-Aided Circuit Simulation and Verification Lecture Note 2: State Equations Prof. Chung-Kuan Cheng 1.
Chapter 5 Interconnect RLC Model n Efficient capacitance model Efficient inductance model Efficient inductance model RC and RLC circuit model generation.
The Design Process Outline Goal Reading Design Domain Design Flow
Fast, Multiscale Image Segmentation: From Pixels to Semantics Ronen Basri The Weizmann Institute of Science Joint work with Achi Brandt, Meirav Galun,
Weiping Shi Department of Computer Science University of North Texas HiCap: A Fast Hierarchical Algorithm for 3D Capacitance Extraction.
CSE351/ IT351 Modeling and Simulation
Modeling The quadratic integrate and fire follows from a reduced form (1) where F(V) is a voltage dependant function which aims to capture the voltage.
Chung-Kuan Cheng†, Andrew B. Kahng†‡,
An Algebraic Multigrid Solver for Analytical Placement With Layout Based Clustering Hongyu Chen, Chung-Kuan Cheng, Andrew B. Kahng, Bo Yao, Zhengyong Zhu.
Geometric (Classical) MultiGrid. Linear scalar elliptic PDE (Brandt ~1971)  1 dimension Poisson equation  Discretize the continuum x0x0 x1x1 x2x2 xixi.
Temperature-Aware Design Presented by Mehul Shah 4/29/04.
Monica Garika Chandana Guduru. METHODS TO SOLVE LINEAR SYSTEMS Direct methods Gaussian elimination method LU method for factorization Simplex method of.
More Realistic Power Grid Verification Based on Hierarchical Current and Power constraints 2 Chung-Kuan Cheng, 2 Peng Du, 2 Andrew B. Kahng, 1 Grantham.
ECE 546 – Jose Schutt-Aine 1 ECE 546 Lecture -13 Latency Insertion Method Spring 2014 Jose E. Schutt-Aine Electrical & Computer Engineering University.
© Fluent Inc. 9/5/2015L1 Fluids Review TRN Solution Methods.
CSE245: Computer-Aided Circuit Simulation and Verification Lecture Note 2: State Equations Prof. Chung-Kuan Cheng.
Parallel Performance of Hierarchical Multipole Algorithms for Inductance Extraction Ananth Grama, Purdue University Vivek Sarin, Texas A&M University Hemant.
Multigrid for Nonlinear Problems Ferien-Akademie 2005, Sarntal, Christoph Scheit FAS, Newton-MG, Multilevel Nonlinear Method.
Research on Analysis and Physical Synthesis Chung-Kuan Cheng CSE Department UC San Diego
Fast Low-Frequency Impedance Extraction using a Volumetric 3D Integral Formulation A.MAFFUCCI, A. TAMBURRINO, S. VENTRE, F. VILLONE EURATOM/ENEA/CREATE.
ECE 546 – Jose Schutt-Aine 1 ECE 546 Lecture -12 MNA and SPICE Spring 2014 Jose E. Schutt-Aine Electrical & Computer Engineering University of Illinois.
Research in IC Packaging Electrical and Physical Perspectives
Indian Institute of Technology Bombay 1 SEQUEL: A Solver for circuit EQuations with User-defined ELements Prof. Mahesh B. Patil
1 ECE-517 Reinforcement Learning in Artificial Intelligence Lecture 7: Finite Horizon MDPs, Dynamic Programming Dr. Itamar Arel College of Engineering.
Statistical Sampling-Based Parametric Analysis of Power Grids Dr. Peng Li Presented by Xueqian Zhao EE5970 Seminar.
Efficient Integration of Large Stiff Systems of ODEs Using Exponential Integrators M. Tokman, M. Tokman, University of California, Merced 2 hrs 1.5 hrs.
A Power Grid Analysis and Verification Tool Based on a Statistical Prediction Engine M.K. Tsiampas, D. Bountas, P. Merakos, N.E. Evmorfopoulos, S. Bantas.
Modern VLSI Design 3e: Chapter 4 Copyright  1998, 2002 Prentice Hall PTR Topics n Interconnect design. n Crosstalk. n Power optimization.
Stochastic Current Prediction Enabled Frequency Actuator for Runtime Resonance Noise Reduction Yiyu Shi*, Jinjun Xiong +, Howard Chen + and Lei He* *Electrical.
1 Chapter 5: Harmonic Analysis in Frequency and Time Domains Contributors: A. Medina, N. R. Watson, P. Ribeiro, and C. Hatziadoniu Organized by Task Force.
Penn ESE370 Fall DeHon 1 ESE370: Circuit-Level Modeling, Design, and Optimization for Digital Systems Day 33: November 20, 2013 Crosstalk.
The Interconnect Modeling Company™ High-Speed Interconnect Measurements and Modeling Dima Smolyansky TDA Systems, Inc.
Distributed Computation: Circuit Simulation CK Cheng UC San Diego
Transient Analysis CK Cheng UC San Diego CK Cheng UC San Diego Jan. 25, 2007.
Power Integrity Test and Verification CK Cheng UC San Diego 1.
Introduction to Scientific Computing II Multigrid Dr. Miriam Mehl Institut für Informatik Scientific Computing In Computer Science.
Introduction to Scientific Computing II Multigrid Dr. Miriam Mehl.
ECE 476 Power System Analysis Lecture 14: Power Flow Prof. Tom Overbye Dept. of Electrical and Computer Engineering University of Illinois at Urbana-Champaign.
By Nasir Mahmood.  The NoC solution brings a networking method to on-chip communication.
Introduction to Scientific Computing II
MULTISCALE COMPUTATIONAL METHODS Achi Brandt The Weizmann Institute of Science UCLA
Inductance Screening and Inductance Matrix Sparsification 1.
Circuit Simulation using Matrix Exponential Method Shih-Hung Weng, Quan Chen and Chung-Kuan Cheng CSE Department, UC San Diego, CA Contact:
Self-Tuned Distributed Multiprocessor System Xiaoyan Bi CSC Operating Systems Dr. Mirela Damian.
Penn ESE370 Fall DeHon 1 ESE370: Circuit-Level Modeling, Design, and Optimization for Digital Systems Day 30: November 21, 2012 Crosstalk.
Xiang Hu1, Wenbo Zhao2, Peng Du2, Amirali Shayan2, Chung-Kuan Cheng2
MultiGrid.
© Fluent Inc. 1/10/2018L1 Fluids Review TRN Solution Methods.
Day 33: November 19, 2014 Crosstalk
Introduction to Multigrid Method
Supported by the National Science Foundation.
Yiyu Shi*, Jinjun Xiong+, Howard Chen+ and Lei He*
Yiyu Shi*, Wei Yao*, Jinjun Xiong+ and Lei He*
Inductance Screening and Inductance Matrix Sparsification
CS 252 Project Presentation
Transient Analysis of Power System
Presentation transcript:

Computer Science & Engineering Department University of California, San Diego SPICE Diego A Transistor Level Full System Simulator Chung-Kuan Cheng May 27, 2004

Outline Motivation Status of Commercial Simulators Solver Engine: Multigrid Review Activity Driven Analysis Nonlinear Transistor Devices Experimental Results Conclusion

Motivation Moore’s Law  # transistors and clock frequency double /2 years 1984: 100K transistors, 10M Hz 2003: 100M transistors, 5G Hz More Challenges for Circuit Simulator  Electrical Coupling (C&L): interconnect delay, crosstalk, voltage drop, ground bounce  Short Channel Devices SPICE  Cannot perform large chip analysis, capacity limit to 50,000 transistors ( O(n 2 ) complexity )

Status of Commercial Simulators Partition Based Simulation Most commercial fast spices (HSIM, Power Mill / Time Mill / Rail Mill, NaroSim, RedHawk, Ultrasim) Advantage Smaller Matrix Size Easy to apply varies time step to different subcircuits Disadvantage Hard to catch coupling effect between subcircuits Device Model ignoring Miller’s effect Potential convergence problem Accuracy not guaranteed.

Motivation Direct Method Basic Iterative Method Slow Convergence Conjugate Gradient Multigrid Method High Complexity

Multigrid Review Error Components  High frequency error (More oscillatory between neighboring nodes)  Low frequency error (Smooth between neighboring nodes)  Basic iterative methods only efficiently reduce high frequency error Basic Idea of Multigrid  Convert hard-to-damp low frequency error to easy-to-damp high frequency error

Multigrid : A Hierarchy of Problems A 0 X 0 =b A 1 X 1 =b A 2 X 2 =b 2 Smoothing Gauss Elimination Restriction Interpolation Hierarchically, all error components smoothed efficiently

Geometric vs Algebraic Geometric multigrid method  Require Regular Grid Structure Algebraic Multigrid  Coarsening Relied on Matrix, No requirement of regular grid structure Coloring scheme  Error Smoothing Operator: Gauss-Seidel  Interpolation Small residue but the error decreases very slowly. In practice, we use only coarse node at the RHS of above formula to approximate error correction of fine node.

Convergence of Multigrid Method The matrix needs to be symmetric positive definite  Key to the convergence of iterative method SOR, PCG, Multigrid RC network  The system matrix is S.P.D(symmetric positive definite) System Equation: Apply Trapezoidal Rule: LHS matrix is S.P.D, it is also valid for B.E. and F.E formulae

Convergence of Multigrid Method RLKC network System Equation: Apply Trapezoidal Rule: The LHS matrix is not S.P.D, but can be converted to S.P.D matrix The LHS matrix of first equation is now S.P.D. Similar for B.E and F.E L -1 is called K / Susceptance / Reluctance Matrix

Why Algebraic Method No Requirement of Regular Grid  Works for general circuits. Circuit with Mutual Inductance  Adjacency graph of the converted system matrix is different from circuit topology. Converted System Matrix:

Activity Driven Analysis Circuit Latency & Multi-rate Behavior  Spatial Latency Only portions of the circuit is active at any given time 80%-90% of total gates are non-switching Temporal Latency A given portion of circuit is not always active.  Multi-rate Behavior Varies time constant  multi-rate behavior How to utilize ?  Circuit Partitioning: common technique used in timing simulators.

Adaptive Smoothing HOW?  Only active regions get error smoothed  Varies “time step size” inactive subcircuits may only get chance to have error smoothed at finest level once every several time points WHY?  Error smoothing operation at finer levels takes most of the iteration time  Smoothing at coarser level is sufficient for inactive portions of circuit Adaptive smoothing at finest grid level

Incorporating Transistor Devices (1) Direct Simulation of Transistor Devices Makes Linear Solver Diverge Conventional Method: Abstract Device as Current Waveform, Ignore the Interaction with VDD/VSS. How to include Transistor Devices? Inside the inner most Newton- Raphson linearization iteration, decouple the linear and nonlinear interface, replaced by Norton Equivalent Circuit.

Incorporating Transistor Devices (2) Advantage  Possible to use fast linear matrix solver (require symmetric positive definite matrix properties, which is not hold for nonlinear transistors)  Less Memory Requirement: Matrix for nonlinear components can be generated on the fly. Possible to run large case with millions of transistors.  Decouple linear-nonlinear only at the inner most Newton-Raphson iteration of transient analysis. Accuracy guaranteed via linear-nonlinear iteration (typically 4 ~ 10 iterations)

Experimental Results (1) chip board Power Supply Test Case #1  Board / Packaging / Chip Power Network  Fully coupled packaging inductance  60k elements, 5000 nodes.  Spice failed Our tool  Less than 2 minutes

Experimental Results (2) Power/Clock network case.  30k nodes, 1000 transistor devices  Spice run time 41323s  Our Run time: 1859s 22x speedup

Experimental Results (3) 1K cell design  10,286 nodes  751 Gates  Spice run time: 2121s  Our run time: 26.1s 8x Speedup 10K cell design  123,590 nodes  7,481 Gates  Spice Run time: 44293s  Our run time: 3572s, 12.4x Speedup

Why SPICE Diego is better? SPICE Diego : fast accurate transistor level circuit simulator  Powerful Matrix Solver Engine  Transistor devices.  Capable of capturing coupling effects.  Device Model including Miller’s effect  Less Memory Requirement (no LU factorization, dose not save matrix for transistors) Application  interconnect delay  Crosstalk  voltage drop, ground bounce  simultaneous switching noise

Conclusion Moore’s Law demands an extraordinary fast circuit simulator with guaranteed accuracy. Current tools cannot cover Miller’s effect, mutual inductance. There is no bound on the error either. SPICE Diego offers a solution for circuit designers