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 |
Browsing City Campus shelves, Shelving location: City Campus Main Collection Close shelf browser (Hides shelf browser)
| 621.3815 SED Microelectronic circuits / | 621.3815 SED Accompanying part (Disc) Microelectronic circuits / | 621.3815 SHA Hardware/software architectures for low-power embedded multimedia systems / | 621.3815 SIM Simulation and verification of electronic and biological systems / | 621.3815 TOC Digital systems : principles and applications / | 621.3815 TOC Digital systems : principles and applications / | 621.3815 TOO Electronic circuits : fundamentals and applications / |
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.