TY - BOOK ID - 7540276 TI - Simulation and verification of electronic and biological systems AU - Li, Peng. AU - Silveira, Luis Miguel. AU - Feldmann, Peter. PY - 2011 SN - 9400790228 9400701489 9786613084491 9400701497 128308449X PB - Dordrecht : Springer, DB - UniCat KW - Biological systems -- Computer simulation -- Congresses. KW - Integrated circuits -- Computer simulation -- Congresses. KW - Integrated circuits -- Verification -- Congresses. KW - Nanoelectronics -- Congresses. KW - Electrical & Computer Engineering KW - Engineering & Applied Sciences KW - Electrical Engineering KW - Biological systems KW - Computer simulation. KW - Simulation methods. KW - Mathematical models. KW - Biosystems KW - Systems, Biological KW - Engineering. KW - Nanotechnology. KW - Electronic circuits. KW - Circuits and Systems. KW - Simulation and Modeling. KW - Nanotechnology and Microengineering. KW - Biology KW - System theory KW - Systems biology KW - Philosophy KW - Systems engineering. KW - Construction KW - Industrial arts KW - Technology KW - Computer modeling KW - Computer models KW - Modeling, Computer KW - Models, Computer KW - Simulation, Computer KW - Electromechanical analogies KW - Mathematical models KW - Simulation methods KW - Model-integrated computing KW - Engineering systems KW - System engineering KW - Engineering KW - Industrial engineering KW - System analysis KW - Design and construction KW - Molecular technology KW - Nanoscale technology KW - High technology KW - Electron-tube circuits KW - Electric circuits KW - Electron tubes KW - Electronics UR - https://www.unicat.be/uniCat?func=search&query=sysid:7540276 AB - Simulation and Verification of Electronic and Biological Systems provides a showcase for the Circuit and Multi-Domain Simulation Workshop held in San Jose, California, USA, on November 5, 2009. The nine chapters are contributed by experts in the field and provide a broad discussion of recent developments on simulation, modeling and verification of integrated circuits and biological systems. Specific topics include large scale parallel circuit simulation, industrial practice of fast SPICE simulation, structure-preserving model order reduction of interconnects, advanced simulation techniques for oscillator networks, dynamic stability of static memories and biological systems as well as verification of analog integrated circuits. Simulation and verification are fundamental enablers for understanding, analyzing and designing an extremely broad range of engineering and biological circuits and systems.  The design of nanometer integrated electronic systems and emerging biomedical applications have stimulated the development of novel simulation and verification techniques and methodologies. Simulation and Verification of Electronic and Biological Systems provides a broad discussion of recent advances on simulation, modeling and verification of integrated circuits and biological systems and offers a basis for stimulating new innovations. ER -