Vor Ort
Merkzettel Warenkorb
Produktbild: Simulation and Verification of Electronic and Biological Systems
- 13%

Simulation and Verification of Electronic and Biological Systems

13% sparen

92,99 € UVP 106,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.12.2014

Herausgeber

Peng Li + weitere

Verlag

Springer Netherland

Seitenzahl

196

Maße (L/B/H)

23,5/15,5/1,2 cm

Gewicht

335 g

Auflage

2011

Sprache

Englisch

ISBN

978-94-007-9022-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.12.2014

Herausgeber

Verlag

Springer Netherland

Seitenzahl

196

Maße (L/B/H)

23,5/15,5/1,2 cm

Gewicht

335 g

Auflage

2011

Sprache

Englisch

ISBN

978-94-007-9022-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Simulation and Verification of Electronic and Biological Systems

  • Forward. Preface. List of Contributors.

    Parallel Transistor-Level Circuit Simulation; Eric R. Keiter, Heidi K. Thornquist, Robert J. Hoekstra, Thomas V. Russo, Richard L. Schiek, and Eric L. Rankin. 1 Introduction. 2 Background. 3 Parallelism Opportunities in Circuit Simulation. 4 Graph Mitigation using Multilevel Newton Methods. 5 Software. 6 Parallel Linear Solver Strategy Comparison. 7 Graph Mitigation Example. 8 Conclusion. References.

    A Perspective on Fast-SPICE Simulation Technology; Michał Rewieński. 1 Introduction. 2 SPICE: transistor-level circuit simulation. 3 Fast-SPICE technologies. 4 Examples of fast-SPICE technologies. 5 Challenges of fast-SPICE and future research. References.

    Recent Advances in Structure-Preserving Model Order Reduction; Roland W. Freund. 1 Introduction. 2 Description of RCL Networks. 3 A Brief Review of Krylov Subspace-Based Model Order Reduction. 4 PRIMA. 5 SPRIM. 6 Thick-Restart Krylov Subspace Techniques. 7 Complex Expansion Points. 8 Concluding Remarks. References.

    Injection Locking Analysis and Simulation of Weakly Coupled Oscillator Networks; Prateek Bhansali and Jaijeet Roychowdhury. 1 Introduction. 2 Oscillators. 3 Injection Locking. 4 Coupled Oscillator Network Simulation. 5 Conclusions. References.

    Dynamic Stability of Static Memories: Concepts and Advanced Numerical Analysis Techniques; Peng Li, Wei Dong and Garng M. Huang. 1 Introduction. 2 Static Noise Margins. 3 Dynamic Stability Boundaries of Bistable Systems. 4 Dynamic Noise Margins. 5 Analysis of Dynamic Noise Margins. 6 Numerical Stability of Separatrix Tracing. 7 Extension to Memory Cells Modeled as High-Dimensional Systems. 8 Conclusions. References.

    Recycling Circuit Simulation Techniques for Mass-Action Biochemical Kinetics; Jared Toettcher, Joshua F.Apgar, Anya R.Castillo, Bruce Tidor and Jacob White. 1 Introduction. 2 Illustrative Examples. 3 System Comparisons. 4 Examples. 5 Conclusions. References.

    Circuit-based Models of Biomolecular System Dynamics; Elebeoba E. May. 1 Capturing the Dynamics of Living Circuits. 2 Simulating Metabolic Processes with Genetic Control. 3 Boolean Kinetics Framework for Simulating Large Scale Gene Networks. 4 Signal Transduction Cascades. References.

    Analog Verification; Ken Kundert and Henry Chang. 1 Analog Verification. 2 Design Time Line. 3 Analog Verification Engineers. 4 Adoption. 5 Examples. 6 Conclusion. References.

    Formal Methods for Verification of Analog Circuits; Sebastian Steinhorst and Lars Hedrich. 1 Introduction. 2 The Need for Formal Methods. 3 Overview over Formalized Analog Verification Methods. 4 Unifying and Formalizing Analog Verification Methodologies. 5 Experimental Results. 6 Conclusions. References.

    Index.