Simulation and Verification of Electronic and Biological Systems

Forward. Preface.- List of Contributors.- Parallel Transistor-Level Circuit Simulation; Eric R. Keiter, et al. A Perspective on Fast-SPICE Simulation Technology; Michal Rewienski.- Recent Advances in Structure-Preserving Model Order Reduction; Roland W. Freund.- Injection Locking Analysis and Simulation of Weakly Coupled Oscillator Networks; Prateek Bhansali and Jaijeet Roychowdhury.- Dynamic Stability of Static Memories: Concepts and Advanced Numerical Analysis Techniques; Peng Li, et al. Recycling Circuit Simulation Techniques for Mass-Action Biochemical Kinetics; Jared Toettcher, et al. Circuit-based Models of Biomolecular System Dynamics; Elebeoba E. May.- Analog Verification; Ken Kundert and Henry Chang.- Formal Methods for Verification of Analog Circuits; Sebastian Steinhorst and Lars Hedrich.- Index.-