Simulation and Verification of Electronic and Biological Systems

1. Parallel Transistor-Level Circuit Simulation
Eric R. Keiter, Heidi K. Thornquist, Robert J. Hoekstra, Thomas V. Russo, Richard L. Schiek, Eric L. Rankin

2. A Perspective on Fast-SPICE Simulation Technology
Michał Rewieński

3. Recent Advances in Structure-Preserving Model Order Reduction
Roland W. Freund

4. Injection Locking Analysis and Simulation ofWeakly Coupled Oscillator Networks
Prateek Bhansali, Jaijeet Roychowdhury

5. Dynamic Stability of Static Memories: Concepts and Advanced Numerical Analysis Techniques
Peng Li, Wei Dong, Garng M. Huang

6. Recycling Circuit Simulation Techniques forMass-Action Biochemical Kinetics
Jared E. Toettcher, Joshua F. Apgar, Anya R. Castillo, Bruce Tidor, Jacob White

7. Circuit-Based Models of Biomolecular System Dynamics
Elebeoba E. May

8. Analog Verification
Ken Kundert, Henry Chang

9. Formal Methods for Verification of Analog Circuits
Sebastian Steinhorst, Lars Hedrich

Avainsanat: Engineering, Circuits and Systems, Simulation and Modeling, Nanotechnology and Microengineering