Cargando…

Simulation and Verification of Electronic and Biological Systems

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 develop...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Li, Peng (Editor ), Silveira, Luís Miguel (Editor ), Feldmann, Peter (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Dordrecht : Springer Netherlands : Imprint: Springer, 2011.
Edición:1st ed. 2011.
Temas:
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Forward. Preface
  • List of Contributors
  • Parallel Transistor-Level Circuit Simulation; Eric R. Keiter, et al. A Perspective on Fast-SPICE Simulation Technology; Michał Rewieński
  • 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.-.