Simulation and verification of electronic and biological systems / Peng Li, Luís Miguel Silveira, Peter Feldmann, editors.
Material type: TextPublisher: Dordrecht : Springer, 2011Description: xvii, 196 pages : illustrations ; 24 cmContent type:- text
- unmediated
- volume
- 9400701489
- 9789400701489
- 621.3815 22
- 621.3815 22
- QH324.2 .S56 2011
Contents:
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.
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
Book | City Campus City Campus Main Collection | 621.3815 SIM (Browse shelf(Opens below)) | 1 | Available | A502129B |
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.
Machine converted from AACR2 source record.
There are no comments on this title.
Log in to your account to post a comment.