ISBN: | 9789400701489 : |
---|
ISBN: | 9789400701496 (e-book) |
编目源: | CaPaEBR CaPaEBR CaOTR |
题名: | Simulation and verification of electronic and biological systems / Peng Li, Luis Miguel Silveira, Peter Feldmann, editors. |
出版发行项: | Dordrecht : Springer, 2011. |
载体形态: | xvii, 196 p. : ill. ; 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. |