Simulation and Verification of Electronic and Biological Systems

DOI10.1007/978-94-007-0149-6MaRDI QIDQ3075325zbMATH OpenOpenAlexFDO

Authors

Publication date 15 February 2011

Full work available at URL https://doi.org/10.1007/978-94-007-0149-6

zbMATH Keywords

analog circuitsanalog verificationbiomolecular system dynamicsdynamic stability of static memoriesfast-SPICE simulationformal verificationparallel transistor-level circuit simulationSPICEstructure-preserving model order reductionweakly coupled oscillator networks

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Computer science aspects of computer-aided design (68U07) Systems biology, networks (92C42) Circuits, networks (94C99)

Recommendations

• Simulation-Based Approaches for Verification of Embedded Control Systems: An Overview of Traditional and Advanced Modeling, Testing, and Verification Techniques
• Analog/mixed-signal circuit verification using models generated from simulation traces
• Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces
• Formal semantics and verification of network-based biocomputation circuits
• Simulation and verfication of the biomolecular systems
• Formal Methods in Computer-Aided Design
• scientific article; zbMATH DE number 5246089
• Modeling, simulation, and optimization of integrated circuits. Proceedings of a conference, Oberwolfach, Germany, November 25--December 1, 2001

Cited in

(3)

• A holistic fast and parallel approach for accurate transient simulations of analog circuits
• Numerical simulation and modelling of electronic and biochemical systems
• Preface

This page was built for publication: Simulation and Verification of Electronic and Biological Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3075325)