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...
Saved in:
| Other Authors: | , , |
|---|---|
| Format: | Livre numérique |
| Language: | Anglais |
| Published: |
Dordrecht :
Springer Netherlands
2011.
Cham : Springer Nature |
| Online Access: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Simulation and Verification of Electronic and Biological Systems, Texte imprimé, 9789400701489 • Simulation and Verification of Electronic and Biological Systems, Texte imprimé, 9789400701502 • Simulation and Verification of Electronic and Biological Systems, Texte imprimé, 9789400790223 |
Table of Contents:
- 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.-.