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...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | , , |
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.-.