Simulation and Verification of Electronic and Biological Systems

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Li, Peng (Επιμελητής έκδοσης), Silveira, Luís Miguel (Επιμελητής έκδοσης), Feldmann, Peter (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands, 2011.
• Θέματα: Engineering.; Computer simulation.; Nanotechnology.; Electronic circuits.; Circuits and Systems.; Simulation and Modeling.; Nanotechnology and Microengineering.

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

Πίνακας περιεχομένων:

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