ebook ebooks e-book e-books downloaden bei MyEbooks.ch downloaden

Simulation and Verification of Electronic and Biological Systems

:	Peter Feldmann, Luís Miguel Silveira, Peng Li
:	Peng Li, Luís Miguel Silveira, Peter Feldmann
:	Simulation and Verification of Electronic and Biological Systems
:	Springer-Verlag
:	9789400701496
:	1
:	CHF 85.90
:

:	Elektronik, Elektrotechnik, Nachrichtentechnik
:	English

:	196
:	Wasserzeichen/DRM
:	PC/MAC/eReader/Tablet
:	PDF

Simulation and Verification of Electronic and Biological Systems provides a showcase for the Circuit and Multi-Domain Simulation Workshop held in San Jose, California, USA, on November 5, 2009. The nine chapters are contributed by experts in the field and provide a broad discussion of recent developments on simulation, modeling and verification of integrated circuits and biological systems.

Specific topics include large scale parallel circuit simulation, industrial practice of fast SPICE simulation, structure-preserving model order reduction of interconnects, advanced simulation techniques for oscillator networks, dynamic stability of static memories and biological systems as well as verification of analog integrated circuits.

Simulation and verification are fundamental enablers for understanding, analyzing and designing an extremely broad range of engineering and biological circuits and systems. The design of nanometer integrated electronic systems and emerging biomedical applications have stimulated the development of novel simulation and verification techniques and methodologies.Simulation and Verification of Electronic and Biological Systems provides a broad discussion of recent advances on simulation, modeling and verification of integrated circuits and biological systems and offers a basis for stimulating new innovations.

	Foreword	5
	Preface	7
	Contents	9
	List of Contributors	14
	Parallel Transistor-Level Circuit Simulation	17
	Introduction	18
	Background	18
	Parallelism Opportunities in Circuit Simulation	20
	Parallel Netlist Parser	20
	Parallel Approach for Nested Solver Loop	21
	Device Evaluation	22
	Linear Solvers for Circuit Simulation	23
	Graph Mitigation using Multi-level Newton Methods	27
	Multi-level Newton Method	27
	Preserving Singleton Removal	28
	Software	29
	Parallel Linear Solver Strategy Comparison	31
	Explanation of Tables	31
	Numerical Results	32
	Graph Mitigation Example	34
	Conclusion	35
	References	36
	A Perspective on Fast-SPICE Simulation Technology	38
	Introduction	38
	SPICE: Transistor-Level Circuit Simulation	39
	Usage and Limitations of SPICE	41
	Need for Accelerated SPICE (`Fast-SPICE') Simulation	42
	Fast-SPICE Technologies	42
	SPICE vs. Fast-SPICE Techniques	42
	Acceleration Technologies: Different Viewpoints	45
	Examples of Fast-SPICE Technologies	48
	Optimized Simulation of Parasitic Networks	48
	Advanced Partitioning Technologies	49
	Memory Simulation Acceleration	50
	Challenges of Fast-SPICE and Future Research	54
	References	57
	Recent Advances in Structure-Preserving Model Order Reduction	58
	Introduction	58
	Description of RCL Networks	60
	RCL Network Equations	60
	RCL Transfer Functions	63
	Passivity	64
	Reciprocity	64
	A Brief Review of Krylov Subspace-Based Model Order Reduction	65
	Moment Matching and Padé Approximation	65
	Reduced-Order Models	67
	Moment Matching Via Krylov Subspace Methods	68
	Passive Models Via Projection	71
	Projection Combined with Krylov Subspaces	71
	PRIMA	72
	SPRIM	73
	Preserving Block Structures	73
	The Algorithm	74
	Some Properties	76
	Pros and Cons of PRIMA and SPRIM	76
	Thick-Restart Krylov Subspace Techniques	78
	Complex Expansion Points	81
	Concluding Remarks	83
	References	84
	Injection Locking Analysis and Simulation of Weakly Coupled Oscillator Networks	86
	Introduction	86
	Oscillators	88
	PPV/PRC Phase Macromodel of Single Oscillator	89
	Malkin's Theorem	90
	Injection Locking	91
	Adler's Equation	92
	Generalized Adler's Equation	92
	Injection Locking Range of Ring Oscillator	94
	Injection Locking Range of Hodgkin-Huxley Neuron	96
	Coupled Oscillator Network Simulation	98
	Coupled Oscillator Network Transient Simulation	98
	Finding Oscillator Phases in the Synchronized State of a CON Numerically	99
	PPV based Simulation of Ring Oscillator and Neuronal Oscillator Network	102
	Conclusions	107
	References	107
	Dynamic Stability of Static Memories: Concepts and Advanced Numerical Analysis Techniques	109
	Introduction	109
	Static Noise Margins	110
	Dynamic Stability Boundaries of Bistable Systems	111
	Dynamic Noise Margins	113
	Dynamic Read Noise Margin (DRNM)	113
	Dynamic Write Noise Margin (DWNM)	115
	Dynamic Hold Noise Margin (DHNM)	116
	Relations to Conventional Static Noise Margins	117
	Analysis of Dynamic Noise Margins	117
	Computationally Efficient Tracing of Separatrices	118
	Illustrative Examples	120
	Numerical Stability of Separatrix Tracing	123
	Extension to Memory Cells Modeled as High-Dimensional Systems	125
	Conclusions	126
	References	127
	Recycling Circuit Simulation Techniques for