Simulation and verification of electronic and biological systems /
Simulation and verification of electronic and biological systems /
Peng Li, Luís Miguel Silveira, Peter Feldmann, editors.
- xvii, 196 pages : illustrations ; 24 cm
Includes bibliographical references and index.
Parallel transistor-level circuit simulation -- A perspective on fast-SPICE simulation technology -- Recent advances in structure-preserving model order reduction -- Injection locking analysis and simulation of weakly coupled oscillator networks -- Dynamic stability of static memories : concepts and advanced numerical analysis techniques -- Recycling circuit simulation techniques for mass-action biochemical kinetics -- Analog verification -- Formal methods for verification of analog circuits.
9400701489 9789400701489
Biological systems--Computer simulation
Biological systems--Simulation methods
Biological systems--Mathematical models
QH324.2 / .S56 2011
621.3815 621.3815
Includes bibliographical references and index.
Parallel transistor-level circuit simulation -- A perspective on fast-SPICE simulation technology -- Recent advances in structure-preserving model order reduction -- Injection locking analysis and simulation of weakly coupled oscillator networks -- Dynamic stability of static memories : concepts and advanced numerical analysis techniques -- Recycling circuit simulation techniques for mass-action biochemical kinetics -- Analog verification -- Formal methods for verification of analog circuits.
9400701489 9789400701489
Biological systems--Computer simulation
Biological systems--Simulation methods
Biological systems--Mathematical models
QH324.2 / .S56 2011
621.3815 621.3815