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.

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.

Mixed-Signal Circuits offers a thoroughly modern treatment of integrated circuit design in the context of mixed-signal applications. Featuring chapters authored by leading experts from industry and academia, this book: Discusses signal integrity and large-scale simulation, verification, and testing Demonstrates advanced design techniques that enable digital circuits and sensitive analog circuits to coexist without any compromise Describes the process technology needed to address the performance challenges associated with developing complex mixed-signal circuits Deals with modeling topics, such as reliability, variability, and crosstalk, that define pre-silicon design methodology and trends, and are the focus of companies involved in wireless applications Develops methods to move analog into the digital domain quickly, minimizing and eliminating common trade-offs between performance, power consumption, simulation time, verification, size, and cost Details approaches for very low-power performances, high-speed interfaces, phase-locked loops (PLLs), voltage-controlled oscillators (VCOs), analog-to-digital converters (ADCs), and biomedical filters Delineates the respective parts of a full system-on-chip (SoC), from the digital parts to the baseband blocks, radio frequency (RF) circuitries, electrostatic-discharge (ESD) structures, and built-in self-test (BIST) architectures Mixed-Signal Circuits explores exciting opportunities in wireless communications and beyond. The book is a must for anyone involved in mixed-signal circuit design for future technologies.

Designing complex integrated circuits relies heavily on mathematical methods and calls for suitable simulation and optimization tools. The current design approach involves simulations and optimizations in different physical domains (device, circuit, thermal, electromagnetic) and in a range of electrical engineering disciplines (logic, timing, power, crosstalk, signal integrity, system functionality). COMSON was a Marie Curie Research Training Network created to meet these new scientific and training challenges by (a) developing new descriptive models that take these mutual dependencies into account, (b) combining these models with existing circuit descriptions in new simulation strategies and (c) developing new optimization techniques that will accommodate new designs. The book presents the main project results in the fields of PDAE modeling and simulation, model order reduction techniques and optimization, based on merging the know-how of three major European semiconductor companies with the combined expertise of university groups specialized in developing suitable mathematical models, numerical schemes and e-learning facilities. In addition, a common Demonstrator Platform for testing mathematical methods and approaches was created to assess whether they are capable of addressing the industry’s problems, and to educate young researchers by providing hands-on experience with state-of-the-art problems.

This book comprises high-quality, refereed research papers presented at the 2019 International Symposium on Computer Science, Digital Economy and Intelligent Systems (CSDEIS2019): The symposium, held in Moscow, Russia, on 4–6 October 2019, was organized jointly by Moscow State Technical University and the International Research Association of Modern Education and Computer Science. The book discusses the state of the art in areas such as computer science and its technological applications; intelligent systems and intellectual approaches; and digital economics and methodological approaches. It is an excellent reference resource for researchers, undergraduate and graduate students, engineers, and management practitioners interested in computer science and its applications in engineering and management.

This book comprises high-quality refereed research papers presented at The Second International Symposium on Computer Science, Digital Economy and Intelligent Systems (CSDEIS2020), held in Moscow, Russia, on December 18–20, 2020, organized jointly by Moscow State Technical University and the International Research Association of Modern Education and Computer Science. The topics discussed in the book include state-of-the-art papers in computer science and their technological applications; intelligent systems and intellectual approaches; digital economics and methodological approaches. It is an excellent source of references for researchers, graduate students, engineers, management practitioners, and undergraduate students interested in computer science and their applications in engineering and management.

This book constitutes thoroughly refereed post-conference proceedings of the workshops of the 17th International Conference on Parallel Computing, Euro-Par 2011, held in Bordeaux, France, in August 2011. The papers of these 12 workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS HPCF, PROPER, CCPI, and VHPC focus on promotion and advancement of all aspects of parallel and distributed computing.

System-level modeling of MEMS - microelectromechanical systems - comprises integrated approaches to simulate, understand, and optimize the performance of sensors, actuators, and microsystems, taking into account the intricacies of the interplay between mechanical and electrical properties, circuitry, packaging, and design considerations. Thereby, system-level modeling overcomes the limitations inherent to methods that focus only on one of these aspects and do not incorporate their mutual dependencies. The book addresses the two most important approaches of system-level modeling, namely physics-based modeling with lumped elements and mathematical modeling employing model order reduction methods, with an emphasis on combining single device models to entire systems. At a clearly understandable and sufficiently detailed level the readers are made familiar with the physical and mathematical underpinnings of MEMS modeling. This enables them to choose the adequate methods for the respective application needs. This work is an invaluable resource for all materials scientists, electrical engineers, scientists working in the semiconductor and/or sensor industry, physicists, and physical chemists.

Numerical simulation and modelling have been growing in importance and seeing steadily increasing practical application. The proliferation of applications and physical domains for which simulation technologies are now needed, compounded by generally increased complexity, has expanded the scope of numerical simulation and modelling within CAD and spurred new research directions. Numerical Simulation and Modelling of Electronic and Biochemical Systems provides an introduction to the fundamentals of numerical simulation, and to the basics of modelling electronic circuits and biochemical reactions. The emphasis is on capturing a minimal set of important concepts succinctly, but concretely enough that the reader will be left with an adequate foundation for further independent exploration. Starting from mathematical models of basic electronic elements, circuits are modelled as nonlinear differential-algebraic equation (DAE) systems. Two basic techniques - quiescent steady state and transient - for solving these differential equations systems are then developed. It is then shown how biochemical reactions can also be modelled deterministically as DAEs. Following this, frequency domain techniques for finding sinusoidal steady states of linear DAEs are developed, as are direct and adjoint techniques for computing parameter sensitivities and the effects of stationary random noise. For readers interested in a glimpse of topics beyond these basics, an introduction to nonlinear periodic steady state methods (harmonic balance and shooting) and the multitime partial differential equation formulation is provided. Also provided is an overview of model order reduction, an important topic of current research that has roots in numerical simulation algorithms. Finally, sample applications of nonlinear oscillator macromodels - in circuits (PLLs), biochemical reaction-diffusion systems and nanoelectronics - are presented.

This contributed volume convenes a rich selection of works with a focus on innovative mathematical methods with applications in real-world, industrial problems. Studies included in this book are all motivated by a relevant industrial challenge, and demonstrate that mathematics for industry can be extremely rewarding, leading to new mathematical methods and sometimes even to entirely new fields within mathematics. The book is organized into two parts: Computational Sciences and Engineering, and Data Analysis and Finance. In every chapter, readers will find a brief description of why such work fits into this volume; an explanation on which industrial challenges have been instrumental for their inspiration; and which methods have been developed as a result. All these contribute to a greater unity of the text, benefiting not only practitioners and professionals seeking information on novel techniques but also graduate students in applied mathematics, engineering, and related fields.